4418 search results - page 116 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
156
click to vote
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
By nature, ubiquitous computing applications are intimately intertwined with users' everyday life. This situation is challenging because it requires to make the development of...
130
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
Early undergraduate Grid computing courses generally took a bottom-up approach to Grid computing education starting with network protocols, client-server concepts, creating Web an...
182
click to vote
CAI
2002
Springer
15 years 4 months ago
2002
Springer
Grid technology has evolved over the past several years to provide the services and infrastructure needed for building "virtual" systems and organizations. With this Gri...
153
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Well-known hierarchies discriminate between the computational power of discrete time and space dynamical systems. A contrario the situation is more confused for dynamical...
122
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...