Sciweavers

1884 search results - page 207 / 377
» Abstraction from Counters: An Application on Real-Time Syste...
Sort
View
EDOC
2000
IEEE
15 years 5 months ago
A Component-Based Groupware Development Methodology
Software development in general and groupware applications in particular can greatly benefit from the reusability and interoperability aspects associated with software components....
Cléver Ricardo Guareis de Farias, Luí...
IWQOS
2011
Springer
14 years 4 months ago
Adaptive data-driven service integrity attestation for multi-tenant cloud systems
Abstract—Cloud systems provide a cost-effective service hosting infrastructure for application service providers (ASPs). However, cloud systems are often shared by multiple tenan...
Juan Du, Xiaohui Gu, Nidhi Shah
ICCCN
2008
IEEE
15 years 8 months ago
Multi-Modal Target Tracking Using Heterogeneous Sensor Networks
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...
Manish Kushwaha, Isaac Amundson, Péter V&ou...
HYBRID
2005
Springer
15 years 7 months ago
Primal-Dual Tests for Safety and Reachability
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...
Stephen Prajna, Anders Rantzer
TOCS
2008
131views more  TOCS 2008»
15 years 1 months ago
A generic component model for building systems software
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...
Geoff Coulson, Gordon S. Blair, Paul Grace, Fran&c...