3718 search results - page 136 / 744 » IMPS: System Description |
138
click to vote
EPIA
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. A new algorithm for finding the minimal solutions of systems of linear Diophantine equations has recently been published. In its description the emphasis was put on the ...
138
click to vote
EURODAC
1995
IEEE
15 years 8 months ago
1995
IEEE
In order to extract a suitable common core information model, design representations on both system and architecture levels are analyzed. Following the specification trajectory, ...
144
click to vote
ENTCS
2010
15 years 1 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
245
click to vote
Book
"Design patterns inspired by functional programming concepts can advance object-oriented design. This thesis promotes the idea that concepts from the world of functional progr...
125
click to vote
DSD
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, the methodology for automated design of checker for communication protocol testing is presented. Based on the level of checking, different design strategies can be ...