1407 search results - page 176 / 282 » Using Use Cases in Executable Z |
136
click to vote
CDVE
2005
Springer
15 years 9 months ago
2005
Springer
A constraint expresses a relationship among one or more variables. Constraints are very useful in the development of collaborative applications, such as collaborative CAD and CASE ...
127
Voted
ECRTS
2003
IEEE
15 years 9 months ago
2003
IEEE
When executing different real-time applications on a single processor system, one problem is how to compose these applications and guarantee at the same time that their timing req...
156
click to vote
ISWC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a design framework for wearable electronic textiles. The focus is on the design and simulation issues that arise from the interaction of the electronic textile...
138
Voted
ESTIMEDIA
2003
Springer
15 years 9 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
167
click to vote
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...