1239 search results - page 248 / 248 » Applying Model Checking to Concurrent UML Models |
FOIS
2006
13 years 7 months ago
2006
The field of BioInformatics has become a major venue for the development and application of computational ontologies. Ranging from controlled vocabularies to annotation of experim...
CAD
2007
Springer
13 years 5 months ago
2007
Springer
Vehicle interior design directly relates to driver performance measures such as comfort, efficiency, risk of injury, and vehicle safety. A digital human is a convenient tool for ...
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
JIPS
2010
13 years 10 days ago
2010
In order to provide a tailored education for learners within the ubiquitous environment, it is critical to undertake an analysis of the learning activities of learners. For this pu...