Noureddine Boudriga

Proceedings of the IEEE International Conference on Wireless Communications, 2010

A new tracking-aware gossiping scheme for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Wireless Communications, 2010

Formal Digital Investigation of Anti-forensic Attacks.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Workshop on Systematic Approaches to Digital Forensic Engineering, 2010

Threshold Based Multipath Routing Algorithm in Mobile Adhoc and Sensor Networks.

[BibT_eX]

[DOI]

Bayrem Triki

Proceedings of the e-Business and Telecommunications - 7th International Joint Conference, 2010

A Novel Secure and Multipath Routing Algorithm in Wireless Sensor Networks.

[BibT_eX]

Bayrem Triki

Proceedings of the DCNET 2010 & OPTICS 2010 - Proceedings of the International Conference on Data Communication Networking and International Conference on Optical Communication Systems, Athens, Greece, July 26, 2010

Secure Wearable and Implantable Body Sensor Networks in Hazardous Environments.

[BibT_eX]

A Novel Modular Black-box Architecture for Secure Vehicular Networks.

[BibT_eX]

M'hamed Chammem

Mobility and Security Models for Wireless Sensor Networks using Voronoi Tessellations.

[BibT_eX]

RAMP system for proactive pipeline monitoring.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Communication Systems and Networks, 2010

SPAMMS: A sensor-based pipeline autonomous monitoring and maintenance system.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Communication Systems and Networks, 2010

Predictive dynamic resource reservation for vertical handoff optimization in 4G mobile wireless networks.

[BibT_eX]

[DOI]

Sihem Trabelsi

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

Optimizing area coverage in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

On the impact of irregular radio propagation on coverage control and sleep scheduling in wireless sensor networks.

[BibT_eX]

[DOI]

Ramzi Bellazreg

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2009

Investigating Attack Scenarios in Multihop Wireless Systems.

[BibT_eX]

[DOI]

J. Networks, 2009

Guest Editorial.

[BibT_eX]

[DOI]

Habtamu Abie

J. Networks, 2009

Multi-target Tracking Using Wireless Sensor Networks Based on Higher-Order Voronoi Diagrams.

[BibT_eX]

[DOI]

J. Networks, 2009

Visibility: a novel concept for characterising provable network digital evidences.

[BibT_eX]

[DOI]

Int. J. Secur. Networks, 2009

Forensic Investigation in Communication Networks Using Incomplete Digital Evidences.

[BibT_eX]

[DOI]

Int. J. Commun. Netw. Syst. Sci., 2009

Multilayer Statistical Intrusion Detection in Wireless Networks.

[BibT_eX]

[DOI]

EURASIP J. Adv. Signal Process., 2009

Coverage control and irregular radio propagation in eireless sensor networks.

[BibT_eX]

[DOI]

Ramzi Bellazreg

Proceedings of the 2009 IEEE Wireless Communications and Networking Conference, 2009

A Formal Rule-Based Scheme for Digital Investigation in Wireless Ad-hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the Fourth International IEEE Workshop on Systematic Approaches to Digital Forensic Engineering, 2009

Securing Roaming and Vertical Handover in Fourth Generation Networks.

[BibT_eX]

[DOI]

Neila Krichene

Proceedings of the Third International Conference on Network and System Security, 2009

Digital Investigation of Wormhole Attacks in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Bayrem Triki

Proceedings of The Eighth IEEE International Symposium on Networking Computing and Applications, 2009

Serving Handing Over Stations within the Mobile IEEE 802.16 Mesh Mode Context.

[BibT_eX]

[DOI]

Neila Krichene

Proceedings of The Eighth IEEE International Symposium on Networking Computing and Applications, 2009

A new genetic algorithm approach for intrusion response system in computer networks.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009

An all-optical synchronizer for switching node using single-sideband modulator and fiber Bragg gratings.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009

A public key algorithm for optical communication based on lattice cryptography.

[BibT_eX]

[DOI]

Walid Abdallah

Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009

Intrusion detection and tolerance for transaction based applications in wireless environments.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Pattern-based digital investigation of x-hole attacks in wireless adhoc and sensor networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Ultra Modern Telecommunications, 2009

Efficient coverage criterion for accurate target tracking using cooperative wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Ultra Modern Telecommunications, 2009

A platform for secure multi-service vehicular communication.

[BibT_eX]

[DOI]

M'hamed Chammem

Proceedings of the International Conference on Ultra Modern Telecommunications, 2009

An image-based tracking algorithm for hybrid Wireless Sensor Networks using epipolar geometry.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE International Conference on Multimedia and Expo, 2009

A Progressive Chaotic MPEG-4 Video Encryption Scheme for Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2009

Efficient Resource Reservation for Optical Burst Switching Networks.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2009. GLOBECOM 2009, Honolulu, Hawaii, USA, 30 November, 2009

A Dynamic Mobile Grid System for 4G Networks.

[BibT_eX]

[DOI]

Proceedings of the Grid and Distributed Computing, 2009

ReAlSec: A Relational Language for Advanced Security Engineering.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009

Intrusion-tolerant framework for heterogeneous Wireless Sensor Networks.

[BibT_eX]

[DOI]

Maha Sliti

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

Defending against rogue base station attacks using wavelet based fingerprinting.

[BibT_eX]

[DOI]

Alaaedine Chouchane

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2008

Bandwidth-Effective Design of a Satellite-Based Hybrid Wireless Sensor Network for Mobile Target Detection and Tracking.

[BibT_eX]

[DOI]

IEEE Syst. J., 2008

Heterogeneous Security Policy Validation: From Formal to Executable Specifications.

[BibT_eX]

[DOI]

J. Networks, 2008

WHOMoVeS: An optimized broadband sensor network for military vehicle tracking.

[BibT_eX]

[DOI]

Int. J. Commun. Syst., 2008

Intrusion detection and tolerance: A global scheme.

[BibT_eX]

[DOI]

Int. J. Commun. Syst., 2008

Intelligent network functionalities in wireless 4G networks: Integration scheme and simulation analysis.

[BibT_eX]

[DOI]

Comput. Commun., 2008

Energy-Efficient Routing in Wireless Sensor Networks Using Probabilistic Strategies.

[BibT_eX]

[DOI]

Proceedings of the WCNC 2008, IEEE Wireless Communications & Networking Conference, March 31 2008, 2008

DigForNet: Digital Forensic in Networking.

[BibT_eX]

[DOI]

Proceedings of The IFIP TC-11 23rd International Information Security Conference, 2008

Cognitive-Maps Based Investigation of Digital Security Incidents.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Systematic Approaches to Digital Forensic Engineering, 2008

Attack Scenarios Reconstruction and Paths of Packets Transfer Identification in Multihop Wireless Systems.

[BibT_eX]

[DOI]

Proceedings of the NTMS 2008, 2008

Securing Roaming and Vertical Handover between Mobile WiMAX and UMTS.

[BibT_eX]

[DOI]

Neila Krichene

Proceedings of the NTMS 2008, 2008

Voronoi-Based Sensor Network Engineering for Target Tracking Using Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the NTMS 2008, 2008

Incident Response Probabilistic Cognitive Maps.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008

Four dimensional chaotic ciphers for secure image transmission.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Multimedia and Expo, 2008

An elliptic threshold signature framework for k-security in wireless sensor networks.

[BibT_eX]

[DOI]

Maha Sliti

Proceedings of the 15th IEEE International Conference on Electronics, Circuits and Systems, 2008

GRIDSAN: an available dynamic grid system for ad hoc networks.

[BibT_eX]

[DOI]

Mouna Skouri

Proceedings of the 3rd Workshop on the Use of P2P, 2008

Chaotic Progressive Access Control for JPEG2000 Images Repositories.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November, 2008

Using Object Metadata to Detect and Tolerate Attacks in Object Storage Devices.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November, 2008

DPRMM: A Novel Coverage-Invariant Mobility Model for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Souheil Ben Ayed

Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November, 2008

Automated Intrusion Response System: Surveys and Analysis.

[BibT_eX]

Proceedings of the 2008 International Conference on Security & Management, 2008

Dynamic Detection and Tolerance of Attacks in Storage Area Networks.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007

Absolute Transmission Delay Guarantee in Optical Burst-Switched Networks: A Scheme and Performance Evaluation.

[BibT_eX]

[DOI]

Simul., 2007

Provision of quality of service in wireless fourth generation networks.

[BibT_eX]

[DOI]

Int. J. Commun. Syst., 2007

A decisional framework system for computer network intrusion detection.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2007

Performance analysis of a dynamic QoS scheme in optical label-switched networks.

[BibT_eX]

[DOI]

Comput. Commun., 2007

A novel node architecture for optical networks: Modeling, analysis and performance evaluation.

[BibT_eX]

[DOI]

Comput. Commun., 2007

Detecting Denial-of-Service attacks using the wavelet transform.

[BibT_eX]

[DOI]

Comput. Commun., 2007

Security policy validation using temporal executable specifications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2007

Network security project management: a security policy-based approach.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2007

Global intrusion detection and tolerance in networked systems.

[BibT_eX]

[DOI]

Amel Meddeb

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

A global marking scheme for tracing cyber attacks.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

A Novel Grid-Based Micropayment System for Heterogeneous Multi-party Accounting.

[BibT_eX]

[DOI]

Proceedings of the E-business and Telecommunications - 4th International Conference, 2007

Secure Grid-Based Multi-Party Micropayment System in 4G Networks.

[BibT_eX]

Proceedings of the ICE-B 2007, 2007

Radio-based Cooperation Scheme for DDoS Detection.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Electronics, 2007

A QoS-Oriented Scheme for a Real Time Admission Control in OBS Networks.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Electronics, 2007

A Real-Time Admission Control and Planning of OLS Networks.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Electronics, 2007

A Dynamic QoS-Based Scheme for Admission Control in OBS Networks.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2007

A QoS-Based Scheme for Planning and Dimensioning of Optical Label Switched Networks.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2007

Location Management in Wireless Fourth Generation Networks.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2007

Radio-Based Cooperation for Wireless Intrusion Detection.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2007

Admission Control in Optical Label Switched Networks: A Dynamic QoS-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 40th Annual Simulation Symposium (ANSS-40 2007), 2007

Structuring a Multi-violation Detectors Database for an Efficient Intrusion Detection.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007

A QoS-Oriented Protocol for Burst Admission Control in OBS Networks.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007

A Novel Scheme for Traffic Monitoring in Optical Burst-Switched Networks.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007

Congestion Avoidance Mechanism for Optical Label Switched Networks: A Dynamic QoS-based Approach.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007

Doppler Effect on Location-Based Tracking in Mobile Sensor Networks.

[BibT_eX]

[DOI]

Ramzi Bellazreg

Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007

Sensor Activity Scheduling for Efficient WSN-based Tracking.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007

2006

WLAN-UMTS Integration: Architecture, Seamless Handoff, and Simulation Analysis.

[BibT_eX]

[DOI]

Simul., 2006

Performance evaluation of a novel scheme for QoS provision in UTRA TDD.

[BibT_eX]

[DOI]

Comput. Commun., 2006

Mobility, sensing, and security management in wireless ad hoc sensor systems.

[BibT_eX]

[DOI]

Comput. Electr. Eng., 2006

SAGA: An Adaptive Infrastructure for Secure Available Grid on Ad-hoc Networks.

[BibT_eX]

Proceedings of the ICE-B 2006, 2006

Secured and Seamless Handoff in Wireless Fourth Generation Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Electronics, 2006

Execution-based Digital Investigation on Compromised Systems with Automated Hypotheses Generation.

[BibT_eX]

[DOI]

Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006

Designing a Wireless Sensor Network for Mobile Target Localization and Tracking.

[BibT_eX]

[DOI]

Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006

Towards a Relational Calculus for Security Library Management.

[BibT_eX]

[DOI]

Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006

A New Scheme for Mobility, Sensing, and Security Management in Wireless Ad Hoc Sensor Networks.

[BibT_eX]

[DOI]

Mourad Baghdadi

Proceedings of the Proceedings 39th Annual Simulation Symposium (ANSS-39 2006), 2006

SPUR: A secured protocol for UMTS registration.

[BibT_eX]

[DOI]

Proceedings of the e-Business and Telecommunication Networks, 2006

2005

Computer and network security risk management: theory, challenges, and countermeasures.

[BibT_eX]

[DOI]

Int. J. Commun. Syst., 2005

Fault and intrusion tolerance in wireless ad hoc networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Wireless Communications and Networking Conference, 2005

A formal logic-based language and an automated verification tool for computer forensic investigation.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

A Temporal Logic-Based Model for Forensic Investigation in Networked System Security.

[BibT_eX]

[DOI]

Proceedings of the Computer Network Security, 2005

SDPPM: An IP traceback scheme for MANET.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Electronics, 2005

Provision of quality of service in open wireless architectures.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Electronics, 2005

Performance analysis and simulation of a novel OBS network architecture.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Electronics, 2005

Optical Label Switching: Design issues, modeling and performance analysis.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Electronics, 2005

Detecting distributed computer network attacks: A multi-dimensional wavelet approach.

[BibT_eX]

[DOI]

Nouha Grira

Proceedings of the 12th IEEE International Conference on Electronics, 2005

Cooperative Intrusion Detection and Tolerance System.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Electronics, 2005

An advance dynamic resource reservation algorithm for OBS networks: Design and performance.

[BibT_eX]

[DOI]

Moëz Cherif

Proceedings of the 12th IEEE International Conference on Electronics, 2005

Scalable mobility management in wireless ad hoc sensor systems.

[BibT_eX]

[DOI]

Mourad Baghdadi

Proceedings of the 12th IEEE International Conference on Electronics, 2005

Intrusion tolerant GRID in ad-hoc networks.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Electronics, 2005

Mobility and security issues in wireless ad-hoc sensor networks.

[BibT_eX]

[DOI]

Proceedings of the Global Telecommunications Conference, 2005. GLOBECOM '05, St. Louis, Missouri, USA, 28 November, 2005

2004

Intelligent agents on the Web: a review.

[BibT_eX]

[DOI]

Comput. Sci. Eng., 2004

Relational-based calculus for trust management in networked services.

[BibT_eX]

[DOI]

Comput. Commun., 2004

Collective computer incident response using cognitive maps.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2004

An Abstract Reduction Model for Computer Security Risk.

[BibT_eX]

[DOI]

Proceedings of the Security and Protection in Information Processing Systems, 2004

SPUR: A Secured Protocol for UMTS Registration.

[BibT_eX]

Proceedings of the ICETE 2004, 2004

2003

DRA: a new buffer management scheme for wireless atm networks using aggregative large deviation principle.

[BibT_eX]

[DOI]

Comput. Commun., 2003

Optical burst switching protocols for supporting QoS and adaptive routing.

[BibT_eX]

[DOI]

Comput. Commun., 2003

Resource Management Schemes in Optical Networks.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference of the Chilean Computer Science Society (SCCC 2003), 2003

Admission control and resource management of uncertain duration traffic in optical networks.

[BibT_eX]

[DOI]

Proceedings of the 2003 10th IEEE International Conference on Electronics, 2003

Algebraic specification of network security risk management.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 2003

2002

Laying out the Foundation for a Digital Government Model Case Study - Tunisia.

[BibT_eX]

[DOI]

Salah Benabdallah

Proceedings of the Advances in Digital Government - Technology, Human Factors, and Policy, 2002

Quality of service provision in high-speed networks: an active approach.

[BibT_eX]

[DOI]

Proceedings of the 2002 9th IEEE International Conference on Electronics, 2002

Adaptive QoS schemes in DWDM networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2002

2001

On a congestion management scheme for high speed networks using aggregated large deviations principle.

[BibT_eX]

[DOI]

Comput. Commun., 2001

Supporting Adaptive QoS for Multiple Classes of Service in DWDM Networks.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshops on Parallel Processing (ICPP 2001 Workshops), 2001

Synchronizing multimedia flows in active-high-speed networks.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 9th IEEE International Conference on Networks, 2001

2000

An adaptive approach to manage traffic in CDMA ATM networks.

[BibT_eX]

[DOI]

Comput. Commun., 2000

A methodology to optimize the design of telecommunication systems.

[BibT_eX]

[DOI]

Comput. Commun., 2000

QoS management in wireless ATM networks using large deviation principle.

[BibT_eX]

[DOI]

Proceedings of the 2000 IEEE Wireless Communications and Networking Conference, 2000

1999

Schemes for mobility management of wireless ATM networks.

[BibT_eX]

[DOI]

C. Ben Ahmed

Int. J. Commun. Syst., 1999

A performance analysis scheme for intelligent wireless ATM networks.

[BibT_eX]

[DOI]

C. Ben Ahmed

Int. J. Commun. Syst., 1999

Intelligent Services Integration in Mobile ATM Networks.

[BibT_eX]

[DOI]

O. Hassairi

Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Managing mobility in a wireless ATM network.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Performance Computing and Communications Conference, 1999

Performance analysis of intelligent mobile ATM networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Performance Computing and Communications Conference, 1999

Managing traffic in CDMA ATM networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1999), 1999

1998

Bandwidth allocation and call admission control in ATM networks.

[BibT_eX]

[DOI]

C. Ben Ahmed

Int. J. Commun. Syst., 1998

Optimum Design of Telecommunication Systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1998), 1998

1997

Reducing Network Latency and Server Load in Hypermedia Systems.

[BibT_eX]

[DOI]

Inf. Sci., 1997

Multiple connections in data communication and advanced applications.

[BibT_eX]

[DOI]

Comput. Commun., 1997

Extended connection models for advanced applications.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

Formal Protocol Description: Model and validation.

[BibT_eX]

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

1995

A Parallel Logic Language for Transaction Specification in Multidatabase Systems.

[BibT_eX]

[DOI]

J. Syst. Integr., 1995

1993

A Relation Division Operator: The Conjugate Kernel.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

Relation-based semantics for concurrency.

[BibT_eX]

[DOI]

Yahya Slimani

Inf. Sci., 1993

Corrigendum: Specification and execution of transactions for advanced database applications.

[BibT_eX]

Yungho Leu

Ahmed K. Elmagarmid

Inf. Syst., 1993

A Priority-Based PCG Algorithm for Global Deadlock Detection and Resilution in Multidatabase Systems.

[BibT_eX]

[DOI]

Omran A. Bukhres

Jeanne Alm

Proceedings of the RIDE-IMS '93, 1993

1992

Semantic-Based Software Retrieval to Support Rapid Prototyping.

[BibT_eX]

Roland T. Mittermeir

Struct. Program., 1992

Specification and execution of transactions for advanced database applications.

[BibT_eX]

[DOI]

Yungho Leu

Ahmed K. Elmagarmid

Inf. Syst., 1992

On the Lattice of Specifications: Applications to a Specification Methodology.

[BibT_eX]

[DOI]

Fathi Elloumi

Formal Aspects Comput., 1992

A Relational Model for the Specification of Data Types.

[BibT_eX]

[DOI]

Comput. Lang., 1992

Computers in the Classroom: A National Proposal.

[BibT_eX]

Proceedings of the Education and Society, 1992

A Transition Net Formalism for Deductive Databases Efficiently Handling Quering and Integrity Constraints Aspects.

[BibT_eX]

Kamel Barkaoui

Amel Grissa Touzi

Proceedings of the International Conference on Database and Expert Systems Applications, 1992

1991

Regularity of Relations: A Measure of Uniformity.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1991

1990

A Database of Software Components: An Algebraic Structure and Its Implementation.

[BibT_eX]