2364 search results - page 447 / 473 » An Engine for Computing Well-Founded Models |
143
Voted
E4MAS
2005
Springer
15 years 9 months ago
2005
Springer
Stigmergy (the coordination of agents through signs they make and sense in a shared environment) was originally articulated in the study of social insects. Its basic processes are ...
140
Voted
NORDICHI
2004
ACM
15 years 9 months ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...
138
Voted
JSSPP
2004
Springer
15 years 9 months ago
2004
Springer
As we continue to evolve into large-scale parallel systems, many of them employing hundreds of computing engines to take on mission-critical roles, it is crucial to design those s...
111
Voted
CAISE
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
134
Voted
SIGGRAPH
1993
ACM
15 years 7 months ago
1993
ACM
This paper presents a method for designing the illumination in an environment using optimization techniques applied to a radiosity based image synthesis system. An optimization of...