Sciweavers

2343 search results - page 113 / 469
» MedModel - Healthcare Simulation Software
Sort
View
AIS
2004
Springer
15 years 10 months ago
Proposal of High Level Architecture Extension
The paper proposes three dimensional extension to High Level ARchitecture (HLA) and Runtime Infrastructure (RTI) to solve several issues such as security, information hiding proble...
Jae-Hyun Kim, Tag Gon Kim
99
Voted
ICSE
2009
IEEE-ACM
15 years 11 months ago
RAIDE for engineering architecture-based self-adaptive systems
Rainbow is an approach for engineering selfadaptive systems, with run-time, closed-loop control over target systems to monitor, detect, decide, and act on opportunities for system...
Shang-Wen Cheng, David Garlan, Bradley R. Schmerl
TACS
2001
Springer
15 years 9 months ago
Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems
Lossy channel systems are systems of finite state automata that communicate via unreliable unbounded fifo channels. Today the main open question in the theory of lossy channel sy...
Ph. Schnoebelen
APPML
2011
14 years 11 months ago
Optimal control problem on insect pest populations
In this article we present a model of insect infestation of grape vines and consider the optimal control of the pest through the use of egg pesticides. We show existence and uniqu...
Delphine Picart, Bedr'Eddine Ainseba, Fabio Milner
AROBOTS
2011
14 years 11 months ago
Cooperative manipulation and transportation with aerial robots
—In this paper we consider the problem of controlling multiple robots manipulating and transporting a payload in three dimensions via cables. We develop robot configurations tha...
Nathan Michael, Jonathan Fink, Vijay Kumar