9067 search results - page 1749 / 1814 » Adaptive Model Checking |
198
click to vote
JPDC
2007
15 years 5 months ago
2007
Sensors are typically deployed to gather data about the physical world and its artifacts for a variety of purposes that range from environment monitoring, control, to data analysi...
173
click to vote
CONCURRENCY
1998
15 years 5 months 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...
208
click to vote
JCSC
2002
15 years 5 months ago
2002
There is a growing need to analyze and optimize the stand-by component of power in digital circuits designed for portable and battery-powered applications. Since these circuits re...
180
click to vote
UMUAI
1998
15 years 5 months ago
1998
We have implemented an application-independent collaboration manager, called Collagen, based on the SharedPlan theory of discourse, and used it to build a software interface agent...
151
click to vote
TROB
2002
15 years 5 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...