Sciweavers

963 search results - page 111 / 193
» $M$-Solid Varieties of Languages
Sort
View
HICSS
2007
IEEE
212views Biometrics» more  HICSS 2007»
14 years 3 months ago
Fully-automatic generation of user interfaces for multiple devices from a high-level model based on communicative acts
The problems involved in the development of user interfaces become even more severe through the ubiquitous use of a variety of devices such as PCs, mobile phones and PDAs. Each of...
Jürgen Falb, Roman Popp, Thomas Röck, He...
ICRA
2007
IEEE
157views Robotics» more  ICRA 2007»
14 years 3 months ago
Distributed Watchpoints: Debugging Large Multi-Robot Systems
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...
Michael DeRosa, Jason Campbell, Padmanabhan Pillai...
VL
2007
IEEE
149views Visual Languages» more  VL 2007»
14 years 3 months ago
A Type System Based on End-User Vocabulary
In previous work we have developed a system that automatically checks for unit errors in spreadsheets. In this paper we describe our experiences using the system in a workshop on ...
Robin Abraham, Martin Erwig, Scott Andrew
WECWIS
2007
IEEE
115views ECommerce» more  WECWIS 2007»
14 years 3 months ago
WSC-07: Evolving the Web Services Challenge
Service-oriented architecture (SOA) is an evolving architectural paradigm where businesses can expose their capabilities as modular, network-accessible software services. By decom...
M. Brian Blake, William Kwok-Wai Cheung, Michael C...
ESWS
2007
Springer
14 years 3 months ago
SPARQLeR: Extended Sparql for Semantic Association Discovery
Complex relationships, frequently referred to as semantic associations, are the essence of the Semantic Web. Query and retrieval of semantic associations has been an important task...
Krys Kochut, Maciej Janik