3507 search results - page 161 / 702 » Specialized execution environments |
125
click to vote
DSN
2009
IEEE
15 years 11 months ago
2009
IEEE
A virtual networked environment (VNE) consists of virtual machines (VMs) connected by a virtual network. It has been adopted to create “virtual infrastructures” for individual...
123
click to vote
ICIW
2009
IEEE
15 years 10 months ago
2009
IEEE
— Mobile peer to peer (P2P) computing is becoming a major revolution in computing owing to advances in computing power, network connectivity and storage capacity of mobile device...
136
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
134
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we present a practical experiment of building a service-oriented system upon current web services technologies and bioinformatics middleware. The system allows scie...
158
click to vote
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
Many emerging applications operate on continuous unbounded data streams and need real-time data services. Providing deadline guarantees for queries over dynamic data streams is a ...