11324 search results - page 2111 / 2265 » Coordination Models and Languages |
185
click to vote
DEXAW
2005
IEEE
16 years 2 days ago
2005
IEEE
We describe a methodology for creating composite web services, a key ingredient in spatial data infrastructure (SDI) applications, which we demonstrate on an emergency management ...
162
click to vote
FOCS
2005
IEEE
16 years 2 days ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
168
click to vote
ICEBE
2005
IEEE
16 years 2 days ago
2005
IEEE
Service-Oriented Computing (SOC) and Web Services (WS) provide a flexible computing platform for electronic business and commerce. Introducing policy-based computing to service-or...
174
click to vote
IEEEPACT
2005
IEEE
16 years 2 days ago
2005
IEEE
Global address space languages like UPC exhibit high performance and portability on a broad class of shared and distributed memory parallel architectures. The most scalable applic...
145
click to vote
IPPS
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper presents the design and the implementation of a compiler and runtime infrastructure for automatic program distribution. We are building a research infrastructure that e...