8828 search results - page 1221 / 1766 » Formal methods in practice |
205
click to vote
CCS
2005
ACM
16 years 23 days ago
2005
ACM
Vulnerabilities that allow worms to hijack the control flow of each host that they spread to are typically discovered months before the worm outbreak, but are also typically disc...
227
click to vote
CHARME
2005
Springer
16 years 23 days ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
195
click to vote
EWSA
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
190
click to vote
OOPSLA
2005
Springer
16 years 22 days ago
2005
Springer
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...
180
click to vote
SIGDOC
2004
ACM
16 years 20 days ago
2004
ACM
This paper addresses how intellectual property affects the Web in general, and content publishing on the Web in particular. Before its commercialization, the Web was perceived as ...