2493 search results - page 440 / 499 » Tool Support for Design by Contract |
WSC
2007
15 years 3 days ago
2007
Decision making in industry continues to become more complicated. Customers are more demanding, competition is more fierce, and costs for labor and raw materials continue to rise....
ACMACE
2008
ACM
14 years 11 months ago
2008
ACM
This paper describes an authoring language for specifying communicative behavior and interaction of agents in virtual worlds. We focus on the popular three-dimensional (3D) multi-...
BPM
2008
Springer
14 years 11 months ago
2008
Springer
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...
BPM
2008
Springer
14 years 11 months ago
2008
Springer
For a particular business process, typically, different variants exist. Each of them constitutes an adjustment of a basic process (e.g. a reference process) to specific requirement...
CAISE
2008
Springer
14 years 11 months ago
2008
Springer
Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs....