1014 search results - page 127 / 203 » Answer models for question answering passage retrieval |
166
click to vote
TOOLS
2008
IEEE
16 years 17 days ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
160
click to vote
BROADNETS
2007
IEEE
16 years 16 days ago
2007
IEEE
—“War of the worms” is a war between opposing computer worms, creating complex worm interactions as well as detrimental impact on infrastructure. For example, in September 20...
142
click to vote
ISPEC
2007
Springer
16 years 10 days ago
2007
Springer
Denial of Service (DoS) attacks are a virulent type of attack on the availability of networks’ intended services and resources. Defense against DoS attacks has been built into th...
165
click to vote
WECWIS
2005
IEEE
15 years 11 months ago
2005
IEEE
The concept of MDA (model driven architecture) aims at the goal of longevity (through business logic and architecture migration between different platforms) and quality improvemen...
175
click to vote
AOSD
2010
ACM
16 years 1 months ago
2010
ACM
Aspect-Oriented Modeling (AOM) provides support for separating concerns at the design level. Even though most AOM approaches provide means to execute the composition of the modula...