1981 search results - page 154 / 397 » Model-Checking Hierarchical Structures |
88
Voted
MIDDLEWARE
2004
Springer
15 years 3 months ago
2004
Springer
Grid is an emerging infrastructure used to share resources among virtual organizations in a seamless manner and to provide breakthrough computing power at low cost. Nowadays there...
ICADL
2003
Springer
15 years 3 months ago
2003
Springer
: Metadata++ is a digital library system that we are developing to serve the needs of the United States Department of Agriculture Forest Service, the United States Department of th...
RAID
1999
Springer
15 years 2 months ago
1999
Springer
Distributed intrusion detection systems are especially vulnerable to attacks because the components reside at a static location and are connected together into a hierarchical stru...
158
click to vote
ACMSE
2007
ACM
15 years 2 months ago
2007
ACM
Classification and change detection of land cover types in the remotely sensed images is one of the major applications in remote sensing. This paper presents a hierarchical framew...
ASAP
2004
IEEE
15 years 1 months ago
2004
IEEE
The Compaan compiler automatically derives a Process Network (PN) description from an application written in Matlab. The basic element of a PN is a Producer/Consumer (P/C) pair. F...