Sciweavers

1081 search results - page 91 / 217
» Hierarchical Heterogeneous Specifications
Sort
View
PERCOM
2007
ACM
15 years 9 months ago
MundoCore: A light-weight infrastructure for pervasive computing
MundoCore is a communication middleware specifically designed for the requirements of pervasive computing. To address the high degree of heterogeneity of platforms and networking ...
Erwin Aitenbichler, Jussi Kangasharju, Max MühlhÃ...
DATE
2008
IEEE
102views Hardware» more  DATE 2008»
15 years 4 months ago
Semantics for Model-Based Validation of Continuous/Discrete Systems
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...
Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicoles...
OTM
2007
Springer
15 years 4 months ago
An OSGi-Based Semantic Service-Oriented Device Architecture
The implementation of service-oriented device architectures (SODA) suffers from restrictions that are imposed by the use of existing syntactic technologies. Related problems includ...
Panagiotis Gouvas, Thanassis Bouras, Gregoris Ment...
COORDINATION
1999
Springer
15 years 2 months ago
CLAM: Composition Language for Autonomous Megamodules
Advances in computer networks that support the invocation of remote services in heterogeneous environments enable new levels of software composition. In order to manage composition...
Neal Sample, Dorothea Beringer, Laurence Melloul, ...
ISCAPDCS
2001
14 years 11 months ago
CAGISTrans: A Transactional Framework for Cooperative Work
The problem addressed in this paper deals with data sharing as a means to cooperate. Our main focus is on transactional mechanisms to manage concurrent accesses to (partially) sha...
Heri Ramampiaro, Mads Nygård