Sciweavers

721 search results - page 13 / 145
» A Living System Must Have Noncomputable Models
Sort
View
77
Voted
FASE
2009
Springer
15 years 7 months ago
Controller Synthesis from LSC Requirements
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
Hillel Kugler, Cory Plock, Amir Pnueli
JVA
2006
IEEE
15 years 6 months ago
Programming Models for Grid Applications and Systems: Requirements and Approaches
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...
Thilo Kielmann
IRI
2006
IEEE
15 years 6 months ago
Modeling methodology for component reuse and system integration for hurricane loss projection application
Hurricanes are one of the deadliest and perilous natural calamities on the face of earth having a severe impact both on the lives of the people and economy of a nation. Attempts h...
Kasturi Chatterjee, Khalid Saleem, Na Zhao, Min Ch...
COMPSAC
1997
IEEE
15 years 4 months ago
DRDB: a distributed real-time database server for high-assurance time-critical applications
Many real-time database systems are now being used in safety-critical applications, in which human lives or expensive machinery may be at stake. Transactions in real-time database...
Sang Hyuk Son, Robert C. Beckinger, David A. Baker
93
Voted
MIE
2008
112views Healthcare» more  MIE 2008»
15 years 1 months ago
Reusing Models of Actors and Services in Smart Homecare to Improve Sustainability
: Industrial countries are faced with a growing elderly population. Homecare systems with assistive smart house technology enable elderly to live independently at home. Development...
Ståle Walderhaug, Erlend Stav, Marius Mikals...