851 search results - page 91 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
149
click to vote
FAC
2008
15 years 3 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
128
click to vote
ICDCS
2008
IEEE
15 years 9 months ago
2008
IEEE
—Many large-scale distributed systems can benefit from a service that allows them to select among alternative nodes based on their relative network positions. A variety of appro...
138
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
A Reconfigurable Consistency Algorithm (RCA) is an algorithm that guarantees the consistency in Distributed Shared Memory (DSM) Systems. In a RCA, there is a Configuration Control...
112
click to vote
HPDC
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents the concept of pluggable parallelisation that allows scientists to develop “sequential like” codes that can take advantage of multi-core, cluster and grid ...
136
click to vote
EDOC
2002
IEEE
15 years 8 months ago
2002
IEEE
Continuous change of user requirements has become a constant for geo-information systems. Designing systems that can adapt to such changes requires an appropriate ethodology that ...