1888 search results - page 171 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
146
click to vote
ANOR
2007
15 years 3 months ago
2007
This paper introduces a model for Distributed Employee Timetabling Problems (DisETPs) and proposes a general architecture for solving DisETPs by using a Multi Agent System (MAS) pa...
135
Voted
WADT
1998
Springer
15 years 7 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
130
Voted
JUCS
2006
15 years 3 months ago
2006
: This paper defines algorithms to automatically detect five types of bad smells that occur in aspect-oriented systems, more specifically those written using the AspectJ language. ...
140
Voted
SIGMETRICS
2005
ACM
15 years 9 months ago
2005
ACM
The running time of many applications is dominated by the cost of memory operations. To optimize such applications for a given platform, it is necessary to have a detailed knowled...
117
Voted
ISMIR
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes a music analyzing system called the automatic time-span tree analyzer (ATTA), which we have developed. The ATTA derives a time-span tree that assigns a hierar...