321 search results - page 34 / 65 » Specifying Executable Platform-Independent Models using OCL |
ECRTS
2010
IEEE
13 years 9 months ago
2010
IEEE
— The generalized multiframe (GMF) task has been proposed to model a task whose execution times, deadlines and minimum separation times are changed according to a specified patte...
ISSTA
2000
ACM
14 years 1 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
RV
2007
Springer
14 years 2 months ago
2007
Springer
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
MEMOCODE
2006
IEEE
14 years 2 months ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...
VLDB
2002
ACM
13 years 8 months ago
2002
ACM
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...