1398 search results - page 270 / 280 » Ensuring Properties of Interaction Systems |
135
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
We give the first systematic investigation of the design space of worm defense system strategies. We accomplish this by g a taxonomy of defense strategies by abstracting away impl...
114
click to vote
EON
2003
15 years 3 months ago
2003
CST’s Baby CareLink provides a ‘collaborative healthware’ environment for parents of premature infants that incorporates just-in-time learning as one means of knowledge explo...
149
click to vote
AAAI
1994
15 years 3 months ago
1994
Many AI problems can be modeled as constraint satisfaction problems (CSP), but many of them are actually dynamic: the set of constraints to consider evolves because of the environ...
109
click to vote
CAD
2005
Springer
15 years 1 months ago
2005
Springer
Computer simulations are powerful tools frequently used today in many important applications, for example to build safer buildings, to crash-test an automobile before it is built,...
122
click to vote
JAIR
2010
15 years 9 days ago
2010
Diagrammatic reasoning (DR) is pervasive in human problem solving as a powerful adjunct to symbolic reasoning based on language-like representations. The research reported in this...