660 search results - page 39 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
114
click to vote
HOTOS
2007
IEEE
15 years 6 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
128
click to vote
ENTCS
2006
15 years 2 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 ...
130
click to vote
CHARME
2003
Springer
15 years 6 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
146
click to vote
CDVE
2007
Springer
15 years 8 months ago
2007
Springer
Nowadays, collaborative product development has become a strategic necessity to develop high quality products at low cost and with quick response time to market demand. Past decade...
130
click to vote
CCS
2006
ACM
15 years 6 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...