1326 search results - page 236 / 266 » A Framework for Modeling the Distributed Deployment of Synch... |
BTW
2007
Springer
14 years 1 months ago
2007
Springer
: Independent, heterogeneous, distributed, sometimes transient and mobile data sources produce an enormous amount of information that should be semantically integrated and filtere...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
ASPLOS
2012
ACM
12 years 3 months ago
2012
ACM
Effective resource management of virtualized environments is a challenging task. State-of-the-art management systems either rely on analytical models or evaluate resource allocati...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— Autonomous underwater vehicles (AUVs) are an indispensable tool for marine scientists to study the world’s oceans. The Slocum glider is a buoyancy driven AUV designed for mis...
FAC
2000
13 years 7 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...