Sciweavers

7209 search results - page 1334 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
SBIA
2004
Springer
14 years 3 months ago
Reasoning About Requirements Evolution Using Clustered Belief Revision
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...
Odinaldo Rodrigues, Artur S. d'Avila Garcez, Aless...
SEKE
2004
Springer
14 years 3 months ago
Automatic Mapping of OWL Ontologies into Java
We present an approach for mapping an OWL ontology into Java. The basic idea is to create a set of Java interfaces and classes from an OWL ontology such that an instance of a Java ...
Aditya Kalyanpur, Daniel Jiménez Pastor, St...
UIST
2003
ACM
14 years 3 months ago
PreSense: interaction techniques for finger sensing input devices
Although graphical user interfaces started as imitations of the physical world, many interaction techniques have since been invented that are not available in the real world. This...
Jun Rekimoto, Takaaki Ishizawa, Carsten Schwesig, ...
UIST
2003
ACM
14 years 3 months ago
Automatic thumbnail cropping and its effectiveness
Thumbnail images provide users of image retrieval and browsing systems with a method for quickly scanning large numbers of images. Recognizing the objects in an image is important...
Bongwon Suh, Haibin Ling, Benjamin B. Bederson, Da...
FATES
2003
Springer
14 years 3 months ago
Auto-generating Test Sequences Using Model Checkers: A Case Study
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem ...
« Prev « First page 1334 / 1442 Last » Next »