1407 search results - page 234 / 282 » Using Use Cases in Executable Z |
140
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
130
click to vote
ICEIS
2006
IEEE
15 years 10 months ago
2006
IEEE
The satisfiability test checks, whether or not the evaluation of a query returns the empty set for any input document, and can be used in query optimization for avoiding the submis...
115
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Achieving high performance for concurrent applications on modern multiprocessors remains challenging. Many programmers avoid locking to improve performance, while others replace l...
129
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we propose a methodology for developing component-based real-time systems based on the concept of hierarchical scheduling. Recently, much work has been devoted to t...
125
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— Autonomous service robots have to recognize and interpret their environment to be able to interact with it. This paper will focus on service tasks such as serving a glass of wa...