11374 search results - page 2163 / 2275 » A System Demonstration of ST-TCP |
183
click to vote
CSL
2004
Springer
16 years 8 days ago
2004
Springer
To reason effectively about programs, it is important to have some version of a transitive-closure operator so that we can describe such notions as the set of nodes reachable from ...
196
click to vote
ECOOP
2004
Springer
16 years 8 days ago
2004
Springer
Design patterns are a standard means to create large software systems. However, with standard object-oriented techniques, typical implementations of such patterns are not themselv...
222
click to vote
ICSOC
2004
Springer
16 years 8 days ago
2004
Springer
The paradigm shift from device-oriented to service-oriented management has also implications to the area of event correlation. Today’s event correlation mainly addresses the cor...
187
click to vote
ISER
2004
Springer
16 years 7 days ago
2004
Springer
In October 2003, the first functional load-bearing and energetically autonomous exoskeleton, called the Berkeley Lower Extremity Exoskeleton (BLEEX) was demonstrated, walking at th...
175
click to vote
JELIA
2004
Springer
16 years 7 days ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...