6581 search results - page 1011 / 1317 » Formalizing Design Patterns |
170
click to vote
IWIA
2005
IEEE
16 years 9 days ago
2005
IEEE
Stellar aggregates and correlates alerts from heterogeneous network defense systems, building scenarios and estimating the security risk of the entire scenario. Prior work conside...
176
click to vote
WECWIS
2005
IEEE
16 years 8 days ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
163
Voted
ACMACE
2005
ACM
16 years 8 days ago
2005
ACM
This paper describes the automatic creation of simple cinematic scenes and events that use film language (FL) as the basis for the creation of a visual story, aiming to improve it...
174
click to vote
HT
2005
ACM
16 years 8 days ago
2005
ACM
We describe our approach to the automatic generation of argument structures in the domain of video documentaries. Our approach releases control of the final video sequencing from...
233
click to vote
ISPD
2005
ACM
16 years 8 days ago
2005
ACM
In this paper we introduce the concept of zero-change transformations to quantify the suboptimality of existing placers. Given a netlist and its placement from a placer, we formal...