3799 search results - page 465 / 760 » An Engineering Approach to Formal Methods |
174
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Multi-robot systems researchers have been investigating adaptive coordination methods for improving spatial coordination in teams. Such methods adapt the coordination method to th...
197
click to vote
VLDB
2007
ACM
16 years 24 days ago
2007
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. These are complex, often distributed, processes. Monitoring the execution of ...
159
click to vote
IEEESCC
2006
IEEE
16 years 22 days ago
2006
IEEE
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
159
click to vote
GG
2004
Springer
16 years 2 days ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
199
click to vote
MATES
2004
Springer
16 years 1 days ago
2004
Springer
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...