Sciweavers

1086 search results - page 160 / 218
» Rapid Development of Real-Time Systems Using RTExpress
Sort
View
RSP
2006
IEEE
125views Control Systems» more  RSP 2006»
14 years 2 months ago
Creation and Validation of Embedded Assertion Statecharts
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
ISMAR
2003
IEEE
14 years 2 months ago
DART: The Designer's Augmented Reality Toolkit
This demonstration will highlight the Designer’s Augmented Reality Toolkit (DART), a system that allows users to easily create augmented reality (AR) experiences. Over the past ...
Blair MacIntyre, Maribeth Gandy, Jay David Bolter,...
FMAM
2010
157views Formal Methods» more  FMAM 2010»
13 years 6 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
USENIX
1993
13 years 10 months ago
Wafe - An X Toolkit Based Frontend for Application Programs in Various Programming Languages
Wafe provides a flexible and easy to use interface to the X Toolkit (Xt) and the Athena widget set (Xaw) using the embeddable command language Tcl [1]. It allows access to Xt’s...
Gustaf Neumann, Stefan Nusser
LREC
2010
140views Education» more  LREC 2010»
13 years 10 months ago
A Study of the Influence of Speech Type on Automatic Language Recognition Performance
Automatic language recognition on spontaneous speech has experienced a rapid development in the last few years. This development has been in part due to the competitive technologi...
Alejandro Abejón, Doroteo Torre Toledano, D...