3256 search results - page 343 / 652 » Applications of Formal Methods to System Design and Verifica... |
152
click to vote
JAMIA
2011
14 years 9 months ago
2011
Objective To design, build, implement, and evaluate a personal health record (PHR), tethered to the Military Health System, that leverages MicrosoftÒ HealthVault and GoogleÒ Hea...
186
click to vote
ICCS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We describe a prototype emergency and disaster information system designed and implemented using DDDAS concepts. The system is designed to use real-time cell phone callin...
182
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Multi-agent systems benefit greatly from an organization design that guides agents in determining when to communicate, how often, with whom, with what priority, and so on. However...
149
click to vote
HASE
2007
IEEE
16 years 1 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
193
click to vote
LOBJET
2000
15 years 6 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...