Sciweavers

4258 search results - page 202 / 852
» Languages and Interactive Software Development
Sort
View
FLAIRS
2003
15 years 7 months ago
Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
William J. Clancey, Maarten Sierhuis, Charis Kaski...
FECS
2006
125views Education» more  FECS 2006»
15 years 7 months ago
An Automated Template Based Interactive Multimedia Solution for Handheld Devices in the Educational Field or Other Domains
The recent enormous increase in the availability of mobile devices such as phones, PDAs, webpads, tablet PCs etc. and with it the corresponding demand for interactive multimedia a...
Oszkar Nagy, Allen Long
ICSE
1994
IEEE-ACM
15 years 10 months ago
Formalizing Architectural Connection
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
Robert J. Allen, David Garlan
156
Voted
TCS
2002
15 years 6 months ago
Relating CASL with other specification languages: the institution level
In this work, we investigate various specification languages and their relation to Casl, the recently developed Common Algebraic Specification Language. In particular, we consider...
Till Mossakowski
EMSOFT
2005
Springer
15 years 12 months ago
HAIL: a language for easy and correct device access
It is difficult to write device drivers. One factor is that writing low-level code for accessing devices and manipulating their registers is tedious and error-prone. For many syst...
Jun Sun 0002, Wanghong Yuan, Mahesh Kallahalla, Na...