485 search results - page 94 / 97 » A Model Checking Approach for Verifying COWS Specifications |
MBEES
2010
14 years 8 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
100
click to vote
KDD
2001
ACM
15 years 10 months ago
2001
ACM
Web Usage Mining (WUM), a natural application of data mining techniques to the data collected from user interactions with the web, has greatly concerned both academia and industry ...
115
click to vote
FMCAD
2006
Springer
15 years 1 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
CLEF
2009
Springer
14 years 10 months ago
2009
Springer
This paper describes the baselines proposed for the ResPubliQA 2009 task. These baselines are purely based on information retrieval techniques. The selection of an adequate retrie...
ISSTA
2000
ACM
15 years 1 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...