9145 search results - page 1473 / 1829 » Description Logic Systems |
199
click to vote
IEEEARES
2006
IEEE
16 years 26 days ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
171
click to vote
ISCA
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper presents a high-availability system architecture called INDRA — an INtegrated framework for Dependable and Revivable Architecture that enhances a multicore processor ...
202
click to vote
ANCS
2006
ACM
16 years 24 days ago
2006
ACM
The increase of the web traffic has created the need for web switches that are able to balance the traffic to the server farms based on their contents (e.g. layer 7 switching). In...
179
click to vote
DOCENG
2006
ACM
16 years 24 days ago
2006
ACM
In some hypermedia system applications, like interactive digital TV applications, authoring and presentation of documents may have to be done concomitantly. This is the case of li...
215
click to vote
PADS
2006
ACM
16 years 23 days ago
2006
ACM
A master/worker paradigm for executing large-scale parallel discrete event simulation programs over networkenabled computational resources is proposed and evaluated. In contrast t...