1141 search results - page 91 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
165
click to vote
WOSP
2010
ACM
15 years 10 months ago
2010
ACM
The architecture of a software system has a significant impact on its quality of service (QoS) as measured by several performance metrics such as execution time, availability, th...
120
click to vote
COMPSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
169
click to vote
WS
2006
ACM
16 years 8 days ago
2006
ACM
In this paper, we propose a formal notion of network security for ad hoc networks. We adopt a probabilistic security framework, that is, security is defined by a polynomially bou...
164
click to vote
PDC
2004
ACM
15 years 11 months ago
2004
ACM
To compare the outcomes of participatory and user-centered contextual design, case study methods and the Activity Checklist derived from Activity Theory are used to analyze two sy...
159
click to vote
SECON
2008
IEEE
16 years 21 days ago
2008
IEEE
—We present the design and implementation of UDAE, a Universal Data Access Engine for wireless sensor networks. The UDAE allows developers to access data both locally and over th...