2004 search results - page 366 / 401 » Comparison of Model Checking Tools for Information Systems |
VL
2008
IEEE
15 years 6 months ago
2008
IEEE
When faced with the need for documentation, examples, bug fixes, error descriptions, code snippets, workarounds, templates, patterns, or advice, software developers frequently tu...
VISUALIZATION
2005
IEEE
15 years 5 months ago
2005
IEEE
Arti cial neural networks are computer software or hardware models inspired by the structure and behavior of neurons in the human nervous system. As a powerful learning tool, incr...
151
click to vote
OOPSLA
2001
Springer
15 years 4 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we present a new protocol to address multilateral multi-issue negotiation in a cooperative context. We consider complex dependencies between multiple issues by mode...
CHI
2007
ACM
15 years 3 months ago
2007
ACM
Online dating is a popular new tool for initiating romantic relationships, although recent research and media reports suggest that it may also be fertile ground for deception. Unl...