Sciweavers

1008 search results - page 100 / 202
» A graphic functional-dataflow language
Sort
View
HAPTICS
2006
IEEE
15 years 4 months ago
Adaptation of Haptic Interfaces for a LabVIEW-based System Dynamics Course
This paper describes the development of haptic paddle laboratory kits and associated National Instruments LabVIEW virtual instrumentation to support the adaptation of laboratory e...
Kevin Bowen, Marcia Kilchenman O'Malley
ECRTS
2005
IEEE
15 years 3 months ago
Automated Model-Based Generation of Ravenscar-Compliant Source Code
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
Matteo Bordin, Tullio Vardanega
FDL
2005
IEEE
15 years 3 months ago
Executable Specification of Novel Display Controllers
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...
David Antonio-Torres, Paul F. Newbury, Paul F. Lis...
WORDS
2005
IEEE
15 years 3 months ago
Agent-Oriented Modelling and Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
Hong Zhu, Lijun Shan
CC
2005
Springer
134views System Software» more  CC 2005»
15 years 3 months ago
Jazz: A Tool for Demand-Driven Structural Testing
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
Jonathan Misurda, James A. Clause, Juliya L. Reed,...