12981 search results - page 497 / 2597 » Model Checking (Abstract) |
140
click to vote
ECBS
2006
IEEE
15 years 11 months ago
2006
IEEE
The evolution of a design pattern typically involves the addition or removal of a group of modeling elements, such as classes, attributes, operations, and relationships. However, ...
147
click to vote
EDOC
2006
IEEE
15 years 11 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...
156
click to vote
AGENTS
2001
Springer
15 years 9 months ago
2001
Springer
To develop agent-based systems, one needs a methodology that supports the development process as common in other disciplines. In recent years, several such methodologies and model...
133
click to vote
SIGSOFT
2000
ACM
15 years 9 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
153
click to vote
SMA
1995
ACM
15 years 8 months ago
1995
ACM
: Fast and accurate collision detection between general solid models is a fundamental problem in solid modeling, robotics, animation and computer-simulated environments. Most of th...