Sciweavers

3676 search results - page 609 / 736
» Scalable component abstractions
Sort
View
ERCIMDL
2006
Springer
171views Education» more  ERCIMDL 2006»
15 years 4 months ago
The Nautical Archaeology Digital Library
Abstract. In Nautical Archaeology, the study of components and objects creates a complex environment for scholars and researchers. Nautical archaeologists access, manipulate, study...
Carlos Monroy, Nicholas Parks, Richard Furuta, Fil...
FORMATS
2006
Springer
15 years 4 months ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi
112
Voted
APCSAC
2003
IEEE
15 years 4 months ago
On Implementing High Level Concurrency in Java
Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...
G. Stewart Von Itzstein, Mark Jasiunas
CL
2000
Springer
15 years 4 months ago
Concurrent Constraint Programming with Process Mobility
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
David Gilbert, Catuscia Palamidessi
99
Voted
HYBRID
2000
Springer
15 years 4 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...