4126 search results - page 595 / 826 » Relationships with other Formalisms |
167
click to vote
SP
2006
IEEE
16 years 17 days ago
2006
IEEE
In this paper we explore the problem of creating vulnerability signatures. A vulnerability signature matches all exploits of a given vulnerability, even polymorphic or metamorphic...
166
click to vote
HIKM
2006
ACM
16 years 16 days ago
2006
ACM
The increasing complexity of clinical trials has generated an enormous requirement for knowledge and information specification at all stages of the trials, including planning, doc...
179
click to vote
VEE
2006
ACM
16 years 15 days ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
182
click to vote
HICSS
2005
IEEE
16 years 5 days ago
2005
IEEE
Abstract— The Topic Detection and Tracking (TDT) research community investigates information retrieval methods for organizing a constantly arriving stream of news articles by the...
189
click to vote
WOSP
2005
ACM
16 years 3 days ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...