Sciweavers

2607 search results - page 217 / 522
» On the Architecture of System Verification Environments
Sort
View
ISSA
2004
15 years 8 months ago
A Unified Architecture For Automatic Software Updates
This paper attempts to address the issue of hardening the internal security of an organisation's network by easing its patch management. Traditionally security has been model...
Dominic White
IROS
2008
IEEE
119views Robotics» more  IROS 2008»
16 years 29 days ago
Robust stability analysis of a bilateral teleoperation system using the parameter space approach
— One of the main challenges in telerobotics is the selection of control architectures and control parameters, which are able to robustly stabilize the overall teleoperation syst...
Angelika Peer, Martin Buss
DAC
1994
ACM
15 years 10 months ago
Software Scheduling in the Co-Synthesis of Reactive Real-Time Systems
Existing software scheduling techniques limit the functions that can be implemented in software to those with a restricted class of timing constraints, in particular those with a c...
Pai H. Chou, Gaetano Borriello
EUROPLOP
2006
15 years 8 months ago
Patterns for Adaptive Service-Centric Systems
Service-centric systems are driven more and more towards self-adaptation in order to satisfy QoS in highly dynamic environments. However, the young age and immaturity of this doma...
Paris Avgeriou
WOA
2007
15 years 7 months ago
News Retrieval through a MultiAgent System
— The continuous growth of information sources on the web, together with the corresponding volume of dailyupdated contents, makes the problem of finding news and articles a chal...
Andrea Addis, Giuliano Armano, Francesco Mascia, E...