15777 search results - page 3097 / 3156 » Software Engineering |
106
Voted
FSTTCS
2005
Springer
15 years 8 months ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
118
Voted
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
The application of Evolutionary Algorithms to structural test data generation, known as Evolutionary Testing, has to date largely focused on programs with input-output behavior. H...
117
click to vote
ICESS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We consider broadcast protocols in wireless networks that have limited energy and computation resources. The well-known algorithm, DBIP (Directional Broadcast Incremental...
136
Voted
ICFEM
2005
Springer
15 years 8 months ago
2005
Springer
We provide precise high-level models for eight fundamental service interaction patterns, together with schemes for their composition into complex service-based business process int...
133
Voted
MABS
2005
Springer
15 years 8 months ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...