1792 search results - page 175 / 359 » e-Participation and Decision Analysis |
ATAL
2004
Springer
15 years 4 months ago
2004
Springer
Methodologies for multiagent system development should assist the developer in making decisions about those aspects of the analysis, design and implementation, that are crucial fo...
125
click to vote
MLMI
2004
Springer
15 years 4 months ago
2004
Springer
This paper presents a shallow dialogue analysis model, aimed at human-human dialogues in the context of staff or business meetings. Four components of the model are defined, and ...
ECWEB
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Digital goods such as music are vulnerable to illegal use over the internet. Technology-driven IT solutions to protection are useful but limited. Instead, we suggest that...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptio...
ISSTA
1998
ACM
15 years 2 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...