605 search results - page 78 / 121 » A strategy for efficiently verifying requirements |
GI
2009
Springer
14 years 1 months ago
2009
Springer
: Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management, we propose a...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper presents a family of simulators that have been developed for data-intensive applications, and a methodology to select the most efficient one based on a usersupplied req...
AMDO
2006
Springer
14 years 24 days ago
2006
Springer
An appraisal of human motions and particular motion phases is essential for a good interaction between a human and a humanoid robot. We present a new method for the analysis of hum...
VMV
2000
13 years 10 months ago
2000
Essentially all Computer Vision strategies require initial computation of orientation structure or motion estimation. Although much work has been invested in this subfield, method...
CEC
2010
IEEE
13 years 10 months ago
2010
IEEE
Biogas plants are reliable sources of energy based on renewable materials including organic waste. There is a high demand from industry to run these plants efficiently, which lead...