Sciweavers

673 search results - page 4 / 135
» A timing model for synchronous language implementations in s...
Sort
View
MODELS
2009
Springer
14 years 2 months ago
Incremental Model Synchronization for Efficient Run-Time Monitoring
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt,...
FSTTCS
1998
Springer
13 years 12 months ago
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
Jean-Pierre Talpin, David Nowak
TOOLS
2000
IEEE
14 years 3 hour ago
Design and Implementation of CORBA-Based Subscription Server
The standard CORBA operation invocation model supports synchronous, one-way, and deferred synchronous interactions between clients and servers. However, this model is too restrict...
R. Maheshwari, R. Fatoohi
ECOOPW
1998
Springer
13 years 12 months ago
Run-Time Adaptability of Synchronization Policies in Concurrent Object Oriented Languages
Adaptability has become one of the most important research areas in concurrent object-oriented systems in recent years. It tries to cope with system evolution by adding/replacing ...
Fernando Sánchez, Juan Hernández N&u...