3868 search results - page 453 / 774 » Open Systems in TLA |
184
click to vote
DATE
2005
IEEE
16 years 10 days ago
2005
IEEE
The increasing complexity and the short life cycles of embedded systems are pushing the current system-onchip designs towards a rapid increasing on the number of programmable proc...
166
Voted
ICDCSW
2005
IEEE
16 years 10 days ago
2005
IEEE
Many routing protocols for MANETs do not promote a balanced use of resources among the participating nodes, since they are designed to optimize other criteria, such as the number ...
162
click to vote
LICS
2005
IEEE
16 years 9 days ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
179
click to vote
TRIDENTCOM
2005
IEEE
16 years 9 days ago
2005
IEEE
With the rapid growth in research activity on future wireless networking applications and protocols, experimental study and validation is becoming an increasingly important tool t...
158
click to vote
MIR
2005
ACM
16 years 8 days ago
2005
ACM
We address evaluation of image understanding and retrieval large scale image data in the context of three evaluation projects. The first project is a comprehensive strategy for e...