3341 search results - page 412 / 669 » A Communication Virtual Machine |
176
click to vote
MIDDLEWARE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. While Web Services ensure interoperability and extensibility for networked applications, they also complicate the deployment of highly collaborative systems, such as virt...
144
click to vote
EDBT
2006
ACM
16 years 5 months ago
2006
ACM
Skyline queries help users make intelligent decisions over complex data, where different and often conflicting criteria are considered. Current skyline computation methods are rest...
128
click to vote
VRML
2005
ACM
15 years 10 months ago
2005
ACM
We present an initial report on using our distributed, collaborative grid enabled visualization environment to link SuperComputing 2004 (Pittsburgh, PA, USA) with the Cardiff Scho...
131
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
166
click to vote
FCCM
2002
IEEE
15 years 9 months ago
2002
IEEE
Reconfigurable systems, and in particular, FPGA-based custom computing machines, offer a unique opportunity to define application-specific architectures. These architectures offer...