10038 search results - page 1927 / 2008 » Model Checking for Managers |
89
Voted
TON
2008
15 years 17 days ago
2008
As the Internet infrastructure grows to support a variety of services, its legacy protocols are being overloaded with new functions such as traffic engineering. Today, operators en...
111
Voted
CG
2004
Springer
15 years 16 days ago
2004
Springer
When interacting with natural or urban environments there are many situations where the ability to access data in real time becomes relevant. Augmented Reality (AR) technologies a...
114
click to vote
CORR
2004
Springer
15 years 15 days ago
2004
Springer
Social insect societies and more specifically ant colonies, are distributed systems that, in spite of the simplicity of their individuals, present a highly structured social organi...
114
click to vote
CONCURRENCY
1998
15 years 10 days ago
1998
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...
115
click to vote
TON
2002
15 years 9 days ago
2002
We consider a communication network with fixed routing that can accommodate multiple service classes, differing in bandwidth requirements, demand pattern, call duration, and routin...