3943 search results - page 120 / 789 » Architecture-Level Requirements Specification |
218
click to vote
MODELLIERUNG
1998
15 years 7 months ago
1998
In most object-oriented languages and systems, objects must belong to a single most specific class. Relaxing this requirement, also known as role modeling, has been proposed by sev...
159
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper describes and analyzes a method for computing border bases of a zero-dimensional ideal I. The criterion used in the computation involves specific commutation polynomial...
176
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Denotational semantics can be based on algebras with additional structure (order, metric, etc.) which makes it possible to interpret recursive specifications. It was the idea of El...
156
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for ...
163
click to vote
EDBTW
2010
Springer
16 years 1 months ago
2010
Springer
There are some software applications especially in privacy protection domain which they need anonymity support. Therefore lots of methods and protocols have been presented so far ...