10159 search results - page 1690 / 2032 » System Design Validation Using Formal Models |
168
click to vote
WSC
2008
15 years 9 months ago
2008
Healthcare organizations exhibit both detailed and dynamic complexity. Effective and sustainable decisionmaking in healthcare requires tools that can comprehend this complexity. D...
153
click to vote
RAS
2007
15 years 6 months ago
2007
Developmental robotics is concerned with the design of algorithms that promote robot adaptation and learning through qualitative growth of behaviour and increasing levels of compe...
162
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
122
click to vote
HT
2005
ACM
16 years 10 days ago
2005
ACM
This paper describes how the XML based RSS syndication formats used in weblogs can be utilized as the distribution medium for geo-spatial hypermedia, and how this approach can be ...
170
click to vote
GMP
2002
IEEE
15 years 11 months ago
2002
IEEE
We propose the use of surface subdivision as adaptive and higher-order boundary elements for solving a Helmholtz partial differential equation to calculate accurate acoustics sca...