2364 search results - page 463 / 473 » An Engine for Computing Well-Founded Models |
123
Voted
EMSOFT
2007
Springer
15 years 5 months ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
117
click to vote
SENSYS
2006
ACM
15 years 5 months ago
2006
ACM
Introducing mobile data sinks into wireless sensor networks (WSNs) improves the energy efficiency and the network lifetime, and is demanded for many application scenarios, such a...
105
click to vote
SIGCOMM
2006
ACM
15 years 5 months ago
2006
ACM
Researchers have proposed a variety of metrics to measure important graph properties, for instance, in social, biological, and computer networks. Values for a particular graph met...
116
click to vote
MM
2004
ACM
15 years 5 months ago
2004
ACM
Most current image retrieval systems and commercial search engines use mainly text annotations to index and retrieve WWW images. This research explores the use of machine learning...
96
Voted
ISSRE
2003
IEEE
15 years 5 months ago
2003
IEEE
Testing is often performed frequently during development to ensure software reliability by catching regression errors quickly. However, stopping frequently to test also wastes tim...