7452 search results - page 387 / 1491 » A Semantics for Multiprocessor Systems |
144
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
Distributed systems using mobile computing do not have the traditional ACID properties (Atomicity, Consistency, Isolation and Durability), and, therefore, consistency problems may...
194
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
182
click to vote
DGO
2003
15 years 8 months ago
2003
This paper describes a Web-based query system for semantically heterogeneous geospatial data. Our goal is to provide DBMS type query capabilities to a proposed statewide land info...
188
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
: State-of-the-art interoperability between heterogeneous systems on a technical level builds on services oriented architectures (SOA) for a given problem space. Semantics can be i...
206
click to vote
SIGCOMM
2003
ACM
16 years 2 days ago
2003
ACM
Content-based full-text search is a challenging problem in Peer-toPeer (P2P) systems. Traditional approaches have either been centralized or use flooding to ensure accuracy of th...