Sciweavers

1246 search results - page 184 / 250
» Activity Modeling Using Event Probability Sequences
Sort
View
126
Voted
VIROLOGY
2008
84views more  VIROLOGY 2008»
15 years 2 months ago
Formal affordance-based models of computer virus reproduction
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
Matt Webster, Grant Malcolm
101
Voted
MODELS
2007
Springer
15 years 8 months ago
Deriving Operation Contracts from UML Class Diagrams
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
Jordi Cabot, Cristina Gómez
110
Voted
ICIP
2002
IEEE
16 years 3 months ago
Application of support vector machines classifiers to visual speech recognition
In this paper we proposed a visual speech recognition network based on Support Vector Machines. Each word of the dictionary is modeled by a set of temporal sequences of visemes. E...
Mihaela Gordan, Constantine Kotropoulos, Apostolos...
SP
1998
IEEE
116views Security Privacy» more  SP 1998»
15 years 6 months ago
Strand Spaces: Why is a Security Protocol Correct?
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
F. Javier Thayer, Jonathan C. Herzog, Joshua D. Gu...
145
Voted
SIGMETRICS
2003
ACM
165views Hardware» more  SIGMETRICS 2003»
15 years 7 months ago
A hybrid systems modeling framework for fast and accurate simulation of data communication networks
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
Stephan Bohacek, João P. Hespanha, Junsoo L...