5707 search results - page 365 / 1142 » Symbolic Simulation - Techniques and Applications |
220
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Mobile users are expected to be highly dynamic in next generation mobile networks. Additionally they will be served a wide variety of services with different transmission rates...
181
Voted
3DGIS
2006
Springer
16 years 1 months ago
2006
Springer
The Democratic Republic of Timor-Leste (East Timor) attained independence on 20 May 2002, marking its separation from Indonesia. As a newly independent country, East Timor is face...
228
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
199
click to vote
MOBIDE
2003
ACM
16 years 25 days ago
2003
ACM
This paper presents a general-purpose distributed lookup service, denoted Passive Distributed Indexing (PDI). PDI stores entries in form of (key, value) pairs in index caches loca...
261
Voted
RTAS
1997
IEEE
15 years 11 months ago
1997
IEEE
ÐReal-time middleware services must guarantee predictable performance under specified load and failure conditions, and ensure graceful degradation when these conditions are violat...