656 search results - page 27 / 132 » A Formalization of Transition P Systems |
108
click to vote
SEFM
2003
IEEE
15 years 5 months ago
2003
IEEE
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
82
Voted
ICCAD
1994
IEEE
15 years 4 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
112
Voted
VIROLOGY
2008
15 years 15 days 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 ...
124
Voted
FM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
113
click to vote
REX
1991
15 years 4 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...