Sciweavers

7694 search results - page 828 / 1539
» An Implementation of an Applicative File System
Sort
View
ECBS
2004
IEEE
93views Hardware» more  ECBS 2004»
15 years 11 months ago
Domain Independent Generative Modeling
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...
Branislav Kusy, Ákos Lédeczi, Miklos...
AFP
1995
Springer
126views Formal Methods» more  AFP 1995»
15 years 11 months ago
Functional Programming with Overloading and Higher-Order Polymorphism
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
Mark P. Jones
CHI
1995
ACM
15 years 11 months ago
A Generic Platform for Addressing the Multimodal Challenge
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech and direct manipulation. The flexibility they offer results in an incr...
Laurence Nigay, Joëlle Coutaz
DAGSTUHL
2007
15 years 9 months ago
Normative Multi-Agent Organizations: Modeling, Support and Control, Draft Version
Abstract. In the last years, social and organizational aspects of agency have become a major issue in multi-agent systems’ research. Recent applications of MAS enforce the need o...
Olivier Boissier, Benjamin Gâteau
IADIS
2004
15 years 9 months ago
Dynamic Configuration of a Personalized Tourist Agenda
In this paper we claim that the new generation of Web-based systems should offer an intelligent, flexible and interactive support to their users, coupled with the ability to provi...
Anna Goy, Diego Magro