4469 search results - page 355 / 894 » A Language for Role Specifications |
205
click to vote
ENTCS
2010
15 years 4 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
158
click to vote
ER
2009
Springer
16 years 1 months ago
2009
Springer
Various characteristics of the problem domain define the context in which the system is to operate and thus impact heavily on its requirements. However, most requirements specifica...
165
click to vote
ACRI
2004
Springer
16 years 7 days ago
2004
Springer
We describe two improvements made to CD++, a tool for modeling and simulation of cellular models based on the Cell-DEVS formalism. The modifications described in this work remove s...
139
click to vote
ELPUB
1999
ACM
15 years 11 months ago
1999
ACM
The Scholarly Link Specification (S-Link-S) Framework has been proposed as a possible approach towards a solution to the reference linking problem. S-Link-S provides a language ...
172
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
Making a database system active entails developing an expressive event specification language with well-defined semantics, algorithms for the detection of composite events, and an...