245 search results - page 8 / 49 » Programming Autonomic Systems with Multiple Constraint Store... |
105
click to vote
CISS
2007
IEEE
15 years 5 months ago
2007
IEEE
Limiting capabilities of practical recognition systems are determined by a variety of factors that include source encoding techniques, quality of images, complexity of underlying ...
100
click to vote
CP
1995
Springer
15 years 2 months ago
1995
Springer
Object-based knowledge representation systems bene t from the declarative power of the object formalism for modeling, organizing and storing large amounts of knowledge. They also ...
75
Voted
TOOLS
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
WOA
2000
14 years 12 months ago
2000
This paper briefly outlines the main characteristics of an ongoing research aimed at developing a support library for implementing systems based on autonomous agents. The library ...
ICCD
2003
IEEE
15 years 7 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...