33356 search results - page 268 / 6672 » Models of Continual Computation |
175
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
177
click to vote
WOSS
2004
ACM
16 years 9 hour ago
2004
ACM
This paper describes an online control framework to design self-managing distributed computing systems that continually optimize their performance in response to changing computin...
138
click to vote
CBMS
2004
IEEE
15 years 10 months ago
2004
IEEE
As the healthcare industry continues to become more distributed, healthcare organizations are increasing their reliance on mobile links to access patient information and to update...
164
click to vote
KBSE
2005
IEEE
16 years 5 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
172
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
Complex and dynamic interaction behaviors in applications such as Virtual Reality (VR) systems are difficult to design and develop. Reasons for this include the complexity and lim...