Sciweavers

304 search results - page 18 / 61
» Semantic Argumentation in Dynamic Environments
Sort
View
LCPC
2005
Springer
15 years 3 months ago
Software Thread Level Speculation for the Java Language and Virtual Machine Environment
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
Christopher J. F. Pickett, Clark Verbrugge
IDEAS
1999
IEEE
131views Database» more  IDEAS 1999»
15 years 2 months ago
ISIS: A Semantic Mediation Model and an Agent Based Architecture for GIS Interoperability
The diversity of spatial information systems promotes the need to integrate heterogeneous spatial or geographic information systems (GIS) in a cooperative environment. This paper ...
Eric Leclercq, Djamal Benslimane, Kokou Yét...
MDM
2005
Springer
15 years 3 months ago
Concept-based discovery of mobile services
In this paper, we consider semantic service discovery in a global computing environment. We propose creating a dynamic overlay network by grouping together semantically related se...
Chara Skouteli, George Samaras, Evaggelia Pitoura
POPL
2004
ACM
15 years 10 months ago
Atomizer: a dynamic atomicity checker for multithreaded programs
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
Cormac Flanagan, Stephen N. Freund
MOBIDE
2003
ACM
15 years 3 months ago
Semantically driven service interoperability for pervasive computing
The common vision of pervasive computing environments requires a very large range of devices and software components to interoperate seamlessly. From the assumption that these dev...
Declan O'Sullivan, David Lewis