3725 search results - page 134 / 745 » DLP System Description |
165
click to vote
EURODAC
1995
IEEE
15 years 10 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, ...
172
click to vote
ENTCS
2010
15 years 3 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....
286
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...
157
click to vote
DSD
2007
IEEE
16 years 24 days 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 ...
175
click to vote
COOTS
1998
15 years 7 months ago
1998
We have developed an object model that facilitates the development of shared virtual environments. We have implemented our object model on top of COM and OLE Automation and facili...