Sciweavers

1367 search results - page 200 / 274
» Describing Business Processes with Use Cases
Sort
View
ECBS
2005
IEEE
110views Hardware» more  ECBS 2005»
15 years 12 months ago
Synthesis of C++ Software from Verifiable CSPm Specifications
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
Stephen Doxsee, William B. Gardner
ITS
1998
Springer
129views Multimedia» more  ITS 1998»
15 years 10 months ago
Cognitive Measures for Visual Concept Teaching with Intelligent Tutoring Systems
Abstract: This article reports on the application of general cognitive measures to describe and order the knowledge base of radiological images, aimed at the teaching of visual con...
Andrey R. Pimentel, Alexandre I. Direne
ENVSOFT
2006
83views more  ENVSOFT 2006»
15 years 6 months ago
Object-oriented modeling approach to surface water quality management
The lack of sufficient water quality data in many places hinders the efforts of surface water quality modeling, and therefore affects the process of water quality management. In t...
Amin Elshorbagy, Lindell E. Ormsbee
OOPSLA
2001
Springer
15 years 10 months ago
Regression Test Selection for Java Software
Regression testing is applied to modified software to provide confidence that the changed parts behave as intended and that the unchanged parts have not been adversely affected ...
Mary Jean Harrold, James A. Jones, Tongyu Li, Dong...
VLSISP
2008
140views more  VLSISP 2008»
15 years 6 months ago
Regular Expression Matching in Reconfigurable Hardware
In this paper we describe a regular expression pattern matching approach for reconfigurable hardware. Following a Non-deterministic Finite Automata direction, we introduce three ne...
Ioannis Sourdis, João Bispo, João M....