89 search results - page 15 / 18 » Generating operation specifications from UML class diagrams:... |
AMAI
2007
Springer
13 years 7 months ago
2007
Springer
Relational datasets, i.e., datasets in which individuals are described both by their own features and by their relations to other individuals, arise from various sources such as d...
POLICY
2004
Springer
14 years 24 days ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
CA
2000
IEEE
13 years 11 months ago
2000
IEEE
In this paper an operational model for the automatic generation of lifelike gestures of an anthropomorphic virtual agent is described. The biologically motivated approach to contr...
UML
2005
Springer
14 years 28 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
WWW
2003
ACM
14 years 8 months ago
2003
ACM
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...