1104 search results - page 112 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
AAMAS
2008
Springer
13 years 9 months ago
2008
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent/incomplete/uncertain knowledge, based on the construction and the comparison of ar...
GIS
2010
ACM
13 years 7 months ago
2010
ACM
Rensselaer Polytechnic Institute Troy, NY Levee overtopping can lead to failure and cause catastrophic damage, as was the case during Hurricane Katrina. We present a computer simu...
WSC
2008
13 years 11 months ago
2008
Managing healthcare delivery systems plays an important role for healthcare providers in order to have high quality service performances. Inpatient pharmacy delivery systems are o...
ASWC
2009
Springer
13 years 6 months ago
2009
Springer
People conventionally refer to an action or occurrence taking place at a certain time at a specific location as an event. This notion is potentially useful for connecting individua...
PLDI
2003
ACM
14 years 2 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...