949 search results - page 115 / 190 » Theory of Constraints |
116
Voted
ISOLA
2007
Springer
15 years 6 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
123
Voted
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
Ontology mapping is to find semantic correspondences between similar elements of different ontologies. It is critical to achieve semantic interoperability in the WWW. This paper su...
103
click to vote
HICSS
2006
IEEE
15 years 6 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...
94
Voted
ICRA
2006
IEEE
15 years 6 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...
103
click to vote
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
In heterogeneous distributed systems, such as Grids, a resource broker is responsible of automatically selecting resources, and mapping application tasks to them. A crucial aspect...