4418 search results - page 35 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
154
Voted
HPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
Parallel computing on volatile distributed resources requires schedulers that consider job and resource characteristics. We study unconventional computing environments containing ...
138
Voted
ICDE
1994
IEEE
15 years 7 months ago
1994
IEEE
The relational data model is based on sets of tuples, i.e. it does not allow duplicate tuples in a relation. Many database languages and systems do require multi-set place, the hi...
122
Voted
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Software requirements engineering is an essential activity for the successful development of information systems. Requirements can be specified using different techniques...
134
Voted
VIROLOGY
2008
15 years 3 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 ...
116
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...