4418 search results - page 185 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
142
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe Spectra, a remote execution system for batterypowered clients used in pervasive computing. Spectra enables applications to combine the mobility of small devices with t...
158
click to vote
IEEESCC
2006
IEEE
16 years 15 days ago
2006
IEEE
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
181
click to vote
WIAS
2010
15 years 4 months ago
2010
An autonomic system is a system capable of managing itself and adjusting its actions in the face of environmental changes. Autonomic systems are currently developed using ad-hoc ap...
186
click to vote
MIG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Navigational performance of artificial intelligence (AI) characters in computer games is gaining an increasingly important role in the perception of their behavior. Whil...
187
click to vote
FMOODS
2003
15 years 7 months ago
2003
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...