7508 search results - page 334 / 1502 » A new approach for distributed computing in avionics systems |
178
click to vote
ICSOC
2003
Springer
15 years 12 months ago
2003
Springer
Service-based approaches (such as Web Services and the Open Grid Services Architecture) have gained considerable attention recently for supporting distributed application developme...
211
click to vote
CONCUR
1997
Springer
15 years 11 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
167
click to vote
ICPPW
2005
IEEE
16 years 11 days ago
2005
IEEE
Grid enabled physics analysis requires a Workload Management System (WMS) that takes care of finding suitable computing resources to execute data intensive jobs. A typical exampl...
165
click to vote
STACS
2001
Springer
15 years 11 months ago
2001
Springer
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
203
click to vote
CCGRID
2010
IEEE
14 years 10 months ago
2010
IEEE
- Scientific workflows have become an integral part of cyberinfrastructure as their computational complexity and data sizes have grown. However, the complexity of the distributed i...