Sciweavers

6722 search results - page 1031 / 1345
» The DSML4MAS development environment
Sort
View
160
Voted
UML
2001
Springer
15 years 11 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
CBMS
2000
IEEE
15 years 11 months ago
Real-Time Extraction of Carotid Artery Contours from Ultrasound Images
This paper presents the developement of a novel, fullyautomatic tracking and segmentation system to extract the boundary of the carotid artery from ultrasound images in real-time....
Purang Abolmaesumi, Mohammad Reza Sirouspour, S. E...
ECBS
2000
IEEE
115views Hardware» more  ECBS 2000»
15 years 11 months ago
Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...
Stephan Schulz II, T. C. Ewing, Jerzy W. Rozenblit
HICSS
2000
IEEE
149views Biometrics» more  HICSS 2000»
15 years 11 months ago
Fugue: A Computer Mediated Conversational System that Supports Turn Negotiation
Computer mediated communication (CMC) systems are providing new ways to communicate. Yet many text-based CMC systems do not represent the invisible, interactive practices, such as...
Tara Rosenberger Shankar, Max VanKleek, Antonio Vi...
HICSS
2000
IEEE
99views Biometrics» more  HICSS 2000»
15 years 11 months ago
Selecting a Model Interchange Format: The SPOOL Case Study
The aim of this paper is to provide tool developers with effective strategies to minimize the risks, costs, effort and time involved in handling model interchange issues. Specific...
Guy Saint-Denis, Reinhard Schauer, Rudolf K. Kelle...
« Prev « First page 1031 / 1345 Last » Next »