1884 search results - page 207 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
138
click to vote
EDOC
2000
IEEE
15 years 5 months ago
2000
IEEE
Software development in general and groupware applications in particular can greatly benefit from the reusability and interoperability aspects associated with software components....
349
click to vote
IWQOS
2011
Springer
14 years 4 months ago
2011
Springer
Abstract—Cloud systems provide a cost-effective service hosting infrastructure for application service providers (ASPs). However, cloud systems are often shared by multiple tenan...
112
click to vote
ICCCN
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— The paper describes a target tracking system running on a Heterogeneous Sensor Network (HSN) and presents results gathered from a realistic deployment. The system fuses...
105
click to vote
HYBRID
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
114
click to vote
TOCS
2008
15 years 1 months ago
2008
Component-based software structuring principles are now commonly and successfully applied at the application level; but componentisation is far less established when it comes to b...