1541 search results - page 239 / 309 » Tools and Techniques for Model Checking Networked Programs |
106
click to vote
COMPUTER
2006
15 years 18 days ago
2006
The educational content of a technical topic consists, ultimately, of elementary chunks of knowledge. Identifying and classifying such units -- Testable, Reusable Units of Cogniti...
74
Voted
ACSW
2004
15 years 2 months ago
2004
In this paper, a `market trading' technique is integrated with the techniques of rule discovery and refinement for data mining. A classifier system-inspired model, the market...
122
Voted
EDM
2009
14 years 10 months ago
2009
Traditional data mining techniques have been extensively applied to find interesting patterns, build descriptive and predictive models from large volumes of data accumulated throug...
134
Voted
RE
2006
Springer
15 years 14 days ago
2006
Springer
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
168
click to vote
ER
1995
Springer
15 years 4 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...