1141 search results - page 120 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
163
click to vote
ICOST
2007
Springer
16 years 17 days ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
143
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
Expert critiquing systems in education can support teachers in providing high quality individualized feedback to students. These systems, however, require significant development ...
169
click to vote
ASE
2007
15 years 6 months ago
2007
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...
202
click to vote
GLVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
170
click to vote
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...