Sciweavers

1370 search results - page 145 / 274
» Metacase Tools for Multidimensional Development of Informati...
Sort
View
134
Voted
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 7 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
117
Voted
ICTAI
2003
IEEE
15 years 8 months ago
Deployment and Dynamic Reconfiguration Planning for Distributed Software Systems
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
Naveed Arshad, Dennis Heimbigner, Alexander L. Wol...
CHI
2005
ACM
16 years 3 months ago
Designing systems that direct human action
In this paper we present a user-centered design process for Active Capture systems. These systems bring together techniques from human-human direction practice, multimedia signal ...
Ana Ramírez Chang, Marc Davis
134
Voted
ICAS
2009
IEEE
103views Robotics» more  ICAS 2009»
15 years 7 months ago
A Sensor-Based Approach to Symptom Recognition for Autonomic Systems
The increased complexity of today's distributed, composite, Web-based systems presents difficult and unique systems management problems. The way these systems interact, and th...
Jeffery Li, Patrick Martin, Wendy Powley, Kirk Wil...
117
Voted
DEXAW
2010
IEEE
172views Database» more  DEXAW 2010»
15 years 4 months ago
Distributed Semantic Video Tagging for Peer-to-Peer Authoring System
Abstract--In the context of a project aimed at the development of a cooperative and distributed Authoring System to facilitate the production, sharing, and integration of new and e...
Giuseppe Rizzo, Biagio Meirone, Pierluigi Di Nunzi...