10263 search results - page 1833 / 2053 » From Use Cases to System Operation Specifications |
303
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
191
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— High performance and compliant robot control requires accurate dynamics models which cannot be obtained analytically for sufficiently complex robot systems. In such cases, mac...
140
click to vote
VTC
2007
IEEE
16 years 29 days ago
2007
IEEE
—The problem of Adjacent Satellite Interference (ACI) within the Direct-To-Home (DTH) satellite broadcast reception scenario is considered. The use of small DTH frontend receptio...
173
click to vote
PODC
2005
ACM
16 years 8 days ago
2005
ACM
The obstruction-free Dynamic Software Transactional Memory (DSTM) system of Herlihy et al. allows only one transaction at a time to acquire an object for writing. Should a second ...
179
click to vote
AOSE
2005
Springer
16 years 8 days ago
2005
Springer
This paper synthesizes two trends in the engineering of agent-based systems. One, modern agent-oriented methodologies deal with the key aspects of software development including re...