3884 search results - page 505 / 777 » A simplified modeling approach for human system interaction |
188
Voted
ICSOC
2007
Springer
16 years 26 days ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
188
click to vote
WSC
2001
15 years 8 months ago
2001
This paper considers advantages and actual problems of web based simulation systems. Based on a review of environments and languages for web based simulation, some fundamental req...
163
click to vote
CPAIOR
2004
Springer
16 years 3 days ago
2004
Springer
Abstract In recent years, the Constraint Programming (CP) and Operations Research (OR) communities have explored the advantages of combining CP and OR techniques to formulate and s...
150
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
Many environments in which humans wayfind can be conveniently abstracted as networks or graphs: structures of nodes that are interconnected by edges. Examples include the street ne...
152
click to vote
DSVIS
2003
Springer
15 years 12 months ago
2003
Springer
CAD systems have yet to become usable at the early stages of product ideation, where precise shape definitions and sometimes even design intentions are not fully developed. To over...