1912 search results - page 343 / 383 » GOAL as a Planning Formalism |
124
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
Attack graphs are important tools for analyzing security vulnerabilities in enterprise networks. Previous work on attack graphs has not provided an account of the scalability of t...
123
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
105
click to vote
AAAI
2007
15 years 4 months ago
2007
Agents’ pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural an...
119
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Current efforts within the biomedical ontology community focus on achieving interoperability between various biomedical ontologies that cover a range of diverse domain...
118
click to vote
ENTCS
2006
15 years 1 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...