2638 search results - page 377 / 528 » Frameworks for Reasoning about Agent Based Systems |
151
click to vote
MMAS
2010
Springer
15 years 1 months ago
2010
Springer
The accuracy of atomistic-to-continuum hybrid methods can be guaranteed only for deformations where the lattice configuration is stable for both the atomistic energy and the hybrid...
180
click to vote
AAAI
2008
15 years 8 months ago
2008
In artificial intelligence and pervasive computing research, inferring users' high-level goals from activity sequences is an important task. A major challenge in goal recogni...
217
click to vote
ITSSA
2006
15 years 6 months ago
2006
: The software industry is faced with the fast growing complexity of IT infrastructures. This makes manual administration increasingly difficult and appears to be the limiting fact...
139
click to vote
IADIS
2003
15 years 7 months ago
2003
This paper describes the development of a software tool for detection of vulnerabilities in networked systems, using public available security resources. Our tool builds is knowle...
190
click to vote
ESAW
2004
Springer
15 years 12 months ago
2004
Springer
Corporate knowledge consists both of information that is available throughout a company and of information technology frameworks and paradigms. Considering an enterprise as a distr...