4350 search results - page 602 / 870 » Case studies for contract-based systems |
237
click to vote
IMCSIT
2010
2010
Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation
15 years 1 months ago
The complexity of embedded systems and their safety requirements have risen significantly in recent years. Models and the model based development approach help to keep overview and...
303
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
153
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Panelists with backgrounds in diverse aspects of humanrobot interaction will discuss the challenges of human-robot interaction in terms of operator trust. The panel will showcase ...
183
click to vote
ACSD
2007
IEEE
16 years 1 months ago
2007
IEEE
We study sensor minimization problems in the context of fault diagnosis. Fault diagnosis consists in synthesizing a diagnoser that observes a given plant and identifies faults in...
143
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Although many different measures of website effectiveness have been developed, few studies have rigorously compared and contrasted the measures. Based on the organizational effect...