Sciweavers

3686 search results - page 383 / 738
» An Approach to a Trustworthy System Architecture Using Virtu...
Sort
View
ESEC
1997
Springer
15 years 11 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
CIDR
2007
156views Algorithms» more  CIDR 2007»
15 years 8 months ago
SwissQM: Next Generation Data Processing in Sensor Networks
Sensor networks are becoming an important part of the IT landscape. Existing systems, however, are limited in two fundamental ways: lack of data independence, and poor integration...
René Müller, Gustavo Alonso, Donald Ko...
ISN
1999
Springer
15 years 11 months ago
The Use of TINA Principles in the Management of Internet Multimedia Conferences
This paper shows how some of the TINA principles used in the development of Service Management techniques for the Broadband ISDN may be applied to the management of Internet Servic...
Quincy Cabell, Peter T. Kirstein, Theodore Pagtzis...
CDC
2008
IEEE
155views Control Systems» more  CDC 2008»
16 years 1 months ago
Controlling the longitudinal dynamics of a vehicle using sensor based haptic feedback
Abstract— This paper considers a sensor based haptic feedback law for control of the longitudinal dynamics of a vehicle. The environment impedance is implemented in parallel as f...
Robert E. Mahony, Muhammad Atif, Jochen Trumpf
DATE
2006
IEEE
202views Hardware» more  DATE 2006»
16 years 25 days ago
Automatic systemC design configuration for a faster evaluation of different partitioning alternatives
In this paper we present a methodology that is based on SystemC [1] for rapid prototyping to greatly enhance and accelerate the exploration of complex systems to optimize the syst...
Nico Bannow, Karsten Haug, Wolfgang Rosenstiel