Sciweavers

2004 search results - page 366 / 401
» Comparison of Model Checking Tools for Information Systems
Sort
View
VL
2008
IEEE
151views Visual Languages» more  VL 2008»
15 years 6 months ago
Codetrail: Connecting source code and web resources
When faced with the need for documentation, examples, bug fixes, error descriptions, code snippets, workarounds, templates, patterns, or advice, software developers frequently tu...
Max Goldman, Robert C. Miller
VISUALIZATION
2005
IEEE
15 years 5 months ago
Opening the Black Box - Data Driven Visualization of Neural Network
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...
Fan-Yin Tzeng, Kwan-Liu Ma
OOPSLA
2001
Springer
15 years 4 months ago
Points-To Analysis for Java using Annotated Constraints
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 ...
Atanas Rountev, Ana Milanova, Barbara G. Ryder
ATAL
2007
Springer
15 years 3 months ago
A multilateral multi-issue negotiation protocol
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...
Miniar Hemaissia, Amal El Fallah-Seghrouchni, Chri...
CHI
2007
ACM
15 years 3 months ago
The truth about lying in online dating profiles
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...
Jeffrey T. Hancock, Catalina L. Toma, Nicole Ellis...