107 search results - page 22 / 22 » Formal verification at higher levels of abstraction |
ALIFE
2007
13 years 5 months ago
2007
A class of generic models of protocells is introduced, which are inspired by the “Los Alamos bug” is but which, due to their abstraction level, can be applied to a wider set o...
ANSOFT
2002
13 years 4 months ago
2002
Abstract. Current practice in Web application development is based on the skills of the individual programmers and often does not apply the principles of software engineering. The ...