340 search results - page 4 / 68 » The state of the art in locally distributed Web-server syste... |
DLOG
2004
13 years 9 months ago
2004
The last decade of basic research in the area of Description Logics (DL) has created a stable theory, efficient inference procedures, and has demonstrated a wide applicability of ...
NDSS
2000
IEEE
14 years 9 days ago
2000
IEEE
The Secure Virtual Enclaves (SVE) collaboration infrastructure allows multiple organizations to share their distributed application objects, while respecting organizational autono...
ISPDC
2005
IEEE
14 years 1 months ago
2005
IEEE
We propose a method for coordinating local components that observe a distributed discrete-event system R and execute actions depending on the current state of R. Coordination is a...
ARTS
1999
Springer
14 years 6 days ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
ECEASST
2008
13 years 8 months ago
2008
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...