2846 search results - page 450 / 570 » A Software Performance Engineering Tool based on the UML-SPT |
150
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
173
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
Deciding the appropriate population size and number of islands for distributed island-model genetic algorithms is often critical to the algorithm’s success. This paper outlines ...
158
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
181
click to vote
SEKE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
181
click to vote
SOCO
2005
Springer
15 years 12 months ago
2005
Springer
Due to the large success of wireless networks and portable devices, the pervasive computing paradigm is becoming a reality. One of the most challenging objectives to be achieved in...