5171 search results - page 624 / 1035 » Deterministic Parallel Processing |
183
click to vote
ISORC
2008
IEEE
16 years 25 days ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
163
Voted
KBSE
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
192
Voted
ICPADS
2006
IEEE
16 years 14 days ago
2006
IEEE
We developed Hi-sap, a web server system that ensures the security in a server and has high performance when processing dynamic content. In existing servers, server embedded progr...
167
click to vote
ESCIENCE
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract Grid services can be composed into processes, providing a high level definition of the computations involved in terms of their data exchanges and control flow dependenci...
151
click to vote
HICSS
2005
IEEE
16 years 2 days ago
2005
IEEE
Achieving goals of better integrated and responsive government services requires moving away from stand alone applications toward more comprehensive, integrated architectures. As ...