13534 search results - page 2368 / 2707 » Modelling Human-Computer Interaction |
212
click to vote
AADEBUG
2005
Springer
16 years 8 days ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
168
click to vote
APWEB
2005
Springer
16 years 8 days ago
2005
Springer
Flood control for reservoirs require operations in a dynamic and cooperative manner in order to respond to the changing flood control conditions. There is an increasing emphasis on...
153
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
We study agent societies where self-interested agents interact repeatedly over extended time periods. In particular, we are interested in environments where agents can form mutual...
161
click to vote
BIRTHDAY
2005
Springer
16 years 8 days ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
204
click to vote
CDVE
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents a solution for cooperation between companies that belong to a supply chain in the ceramic tile sector, where competitiveness requires constant innovation in pro...