2245 search results - page 30 / 449 » A Case Study Implementing Features Using AspectJ |
140
click to vote
TPHOL
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
118
click to vote
CSREAEEE
2006
15 years 3 months ago
2006
A world of ever growing competition not only forces enterprises to continuously optimise their private business processes but also to integrate their business processes with their ...
116
click to vote
AOSE
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes how the Prometheus Design Tool (PDT) is used to support the Prometheus methodology for designing agent systems. This is done by using an exemplar system that h...
105
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes our progress in creating a case study on optimistic computing for the Grid using parallel mesh generation. For the implementation of both methods we will be u...
114
Voted
CASES
2006
ACM
15 years 8 months ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...