Sciweavers

1087 search results - page 129 / 218
» The DecideIT Decision Tool
Sort
View
CIA
1998
Springer
14 years 1 months ago
Cooperative vs. Competitive Multi-Agent Negotiations in Retail Electronic Commerce
A key lesson learned from economic and game theory research is that negotiation protocols have substantial, rippling effects on the overall nature of the system. online auctions a...
Robert H. Guttman, Pattie Maes
AADEBUG
1997
Springer
14 years 1 months ago
Modeling Intelligent System Execution as State Transition Diagrams to Support Debugging
Currently, few tools are available for assisting developers with debugging intelligent systems. Because these systems rely heavily on context dependent knowledge and sometimes sto...
Adele E. Howe, Gabriel Somlo
SC
1993
ACM
14 years 1 months ago
Scientific visualization of chemical systems
Within the past few years, computer graphics has played a decisive role in transforming the field of molecular modeling into an intemaiional industry. While computer scientists ar...
Richard E. Gillilan, Bruce R. Land
CAV
2010
Springer
153views Hardware» more  CAV 2010»
14 years 29 days ago
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code
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...
Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gog...
CSFW
2004
IEEE
14 years 24 days ago
Selecting Appropriate Counter-Measures in an Intrusion Detection Framework
Since current computer infrastructures are increasingly vulnerable to malicious activities, intrusion detection is necessary but unfortunately not sufficient. We need to design ef...
Frédéric Cuppens, Sylvain Gombault, ...