1136 search results - page 136 / 228 » A Multi-variant Approach to Software Process Modelling |
118
click to vote
ASE
2008
15 years 2 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
127
click to vote
VIROLOGY
2008
15 years 2 months ago
2008
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 ...
109
click to vote
EDOC
2002
IEEE
15 years 7 months ago
2002
IEEE
Thispaper describes a set of modeling techniquesfor developing vertical applications in specific domains. Previous approaches are mainly focused on obtaining final applications. W...
104
click to vote
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
129
click to vote
CODES
2003
IEEE
15 years 7 months ago
2003
IEEE
Hardware/Software cosimulation is the key process to shorten the design turn around time. We have proposed a novel technique, called virtual synchronization, for fast and time acc...