848 search results - page 14 / 170 » A Formal Monitoring-Based Framework for Software Development... |
129
Voted
WETICE
2005
IEEE
15 years 9 months ago
2005
IEEE
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
141
Voted
FLAIRS
1998
15 years 5 months ago
1998
Edge detection is one of the most-studied problems in the field of computervision. However,there is no standard method of objectively and accurately evaluating the performance of ...
125
Voted
AAMAS
2004
Springer
15 years 3 months ago
2004
Springer
Our goal in this paper is to introduce and motivate a methodology, called Tropos,1 for building agent oriented software systems. Tropos is based on two key ideas. First, the notion...
117
Voted
CSCW
2008
ACM
15 years 5 months ago
2008
ACM
In this paper, we seek to shed light on how communication networks in geographically distributed projects evolve in order to address the limits of the modular design strategy. We ...
143
Voted
IRI
2005
IEEE
15 years 9 months ago
2005
IEEE
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...