906 search results - page 101 / 182 » Linking Theories of Concurrency |
EDUTAINMENT
2007
Springer
15 years 4 months ago
2007
Springer
Most storytelling model approaches consider stories formed by sequences of a particular type of event. These sequences are mostly constructed using the inherent temporal characteri...
VMCAI
2007
Springer
15 years 3 months ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
GLOBECOM
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— Network calculus is an established theory for deterministic quality of service analysis of fixed networks. Due to the failures inherent in fading channels it is, howev...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
IS Architecture emerges as a result of a sequence of IS project implementations. The architecture that emerges can be viewed as a network of software components linked by their in...
ICRA
2006
IEEE
15 years 3 months ago
2006
IEEE
- Time optimal control method for quadruped walking robots are developed and installed into a practical robot system. Each leg is modeled as a two link manipulator whose time optim...