367 search results - page 57 / 74 » Agent-Oriented Modeling with Graph Transformation |
108
Voted
AAAI
2007
15 years 2 months ago
2007
In this paper, we consider the problem of composing a set of web services, where the requirements are specified in terms of the input and output messages of the composite workfl...
SAFECOMP
2007
Springer
15 years 6 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
107
Voted
HICSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
105
Voted
ICCSA
2007
Springer
15 years 6 months ago
2007
Springer
Computational origami is the computer assisted study of origami as a branch of science of shapes. The origami construction is a countably finite sequence of fold steps, each consi...
105
click to vote
UML
2000
Springer
15 years 4 months ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...