10263 search results - page 127 / 2053 » From Use Cases to System Operation Specifications |
183
click to vote
ICMT
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
183
click to vote
ACHI
2009
IEEE
16 years 1 months ago
2009
IEEE
– The general context of the work presented in this paper is assistive robotics with our long-term aim to support children with autism. This paper is part of the Aurora project t...
149
click to vote
IJAR
2006
15 years 6 months ago
2006
An important class of continuous Bayesian networks are those that have linear conditionally deterministic variables (a variable that is a linear deterministic function of its pare...
208
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
196
click to vote
RTAS
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper describes the scheduling framework for a new operating system called “Quest”. The three main goals of Quest are to ensure safety, predictability and efficiency of ...