3507 search results - page 431 / 702 » Specialized execution environments |
190
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
159
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
In presence of reconfigurable environments, such as AmI systems, the orchestration and coordination of more devices involved in the execution of services requested by users is of...
202
click to vote
ICAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
131
click to vote
ICDCSW
2008
IEEE
16 years 1 months ago
2008
IEEE
Research in MANETs has resulted in the development of numerous and diverse routing protocols. We argue in this paper that this diversity is inherent to the MANET domain and theref...
161
click to vote
ICEIS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper investigates Grid computing from the point of view three basic computing platforms. The platform consists of virtual compute resources, a programming environment all...