3799 search results - page 709 / 760 » An Engineering Approach to Formal Methods |
136
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
151
click to vote
SEUS
2005
IEEE
15 years 9 months ago
2005
IEEE
In the last years the number of electronic control systems has increased significantly. In order to stay competitive more and more functionality is integrated into more and more p...
123
click to vote
SMA
2005
ACM
15 years 9 months ago
2005
ACM
In an industry project with a German car manufacturer we are faced with the challenge of placing a maximum number of uniform rigid rectangular boxes in the interior of a car trunk...
151
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
157
click to vote
GRID
2005
Springer
15 years 9 months ago
2005
Springer
— We present the ASKALON environment whose goal is to simplify the development and execution of workflow applications on the Grid. ASKALON is centered around a set of high-level...