2493 search results - page 472 / 499 » Tool Support for Design by Contract |
PERCOM
2010
ACM
13 years 7 months ago
2010
ACM
In the recent years, the massive use of in-car navigation systems has symbolized the emergence of location-based services for wayfinding. This market success creates the opportunit...
BIRTHDAY
2009
Springer
13 years 6 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...
FUIN
2010
13 years 5 months ago
2010
Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological...
ECOI
2011
13 years 3 months ago
2011
The potential for physical flora collections to support scientific research is being enhanced by rapid development of digital databases that represent characteristics of the physic...
CORR
2011
Springer
13 years 1 days ago
2011
Springer
Network virtualization allows one to build dynamic distributed systems in which resources can be dynamically allocated at locations where they are most useful. In order to fully e...