1888 search results - page 94 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
112
click to vote
EWSA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect t...
121
click to vote
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...
154
click to vote
COORDINATION
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...
136
Voted
TOOLS
1998
IEEE
15 years 7 months ago
1998
IEEE
We have implemented a prototype distributed system for managing and accessing a digital library of geospatial imagery over a wide-area network. The system conforms to a subset of ...
144
click to vote
TSMC
2008
15 years 3 months ago
2008
This paper proposes a type-2 self-organizing neural fuzzy system (T2SONFS) and its hardware implementation. The antecedent parts in each T2SONFS fuzzy rule are interval type-2 fuzz...