72 search results - page 6 / 15 » Persistent Logical Synchrony |
111
Voted
WSC
2007
15 years 5 months ago
2007
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer n...
ICCCN
1997
IEEE
15 years 6 months ago
1997
IEEE
Most approaches to scalable reliable multicast utilize receiver-oriented retransmissions. Defining an API for receiver-oriented reliable multicast is difficult because it is not c...
145
Voted
IJCAI
2003
15 years 4 months ago
2003
We consider the problem of updating nonmonotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and beliefs can be ...
109
Voted
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
111
Voted
CIDR
2003
15 years 4 months ago
2003
This paper surveys distributed computing techniques used in the implementation of BEA WebLogic Server. It discusses how application servers provide a distributed transactional inf...