247 search results - page 41 / 50 » Development graphs - Proof management for structured specifi... |
COMSWARE
2007
IEEE
15 years 3 months ago
2007
IEEE
—Sensor networks represent a new frontier in technology that holds the promise of unprecedented levels of autonomy in the execution of complex dynamic missions by harnessing the ...
74
Voted
INAP
2001
Springer
15 years 1 months ago
2001
Springer
The Hypertext-based Webs such as Intranets contain a vast amount of information pertaining to an enormous number of subjects. It is, however, an organically grown and thus essentia...
SIGIR
2000
ACM
15 years 1 months ago
2000
ACM
The retrieval of stored images matching an input configuration is an important form of content-based retrieval. Exhaustive processing (i.e., retrieval of the best solutions) of co...
78
Voted
ERLANG
2008
ACM
14 years 11 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
90
Voted
DKE
2006
14 years 9 months ago
2006
In recent years, the management and processing of so-called data streams has become a topic of active research in several fields of computer science such as, e.g., distributed sys...