12766 search results - page 441 / 2554 » collective |
175
click to vote
DL
1999
Springer
15 years 11 months ago
1999
Springer
We present a system for searching and classifying U.S. patent documents, based on Inquery. Patents are distributed through hundreds of collections, divided up by general area. The...
204
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
170
click to vote
VL
1999
IEEE
15 years 11 months ago
1999
IEEE
Sonnet was designed as a visual language for implementing real-time processes. Early design and development of behavioral components has largely focused on the domain of music pro...
180
click to vote
ACSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
The Intrusion Detection System architectures commonly used in commercial and research systems have a number of problems that limit their configurability, scalability or efficiency...
142
click to vote
HPDC
1998
IEEE
15 years 11 months ago
1998
IEEE
Heterogeneous network-based systems are emerging as attractive computing platforms for HPC applications. This paper discusses fundamental research issues that must be addressed to...