1229 search results - page 57 / 246 » Reflections on the Design of a Specification language |
114
click to vote
PERCOM
2008
ACM
14 years 11 months ago
2008
ACM
The pervasive computing environment will be composed of heterogeneous services. In this work, we have explored how a domain specific language for service composition can be implem...
IFIP
1999
Springer
15 years 4 months ago
1999
Springer
We describe a new method for design error diagnosis in digital circuits, that doesn’t use any error model. A diagnostic specific pre-analysis of the circuit extracts a subcircui...
102
click to vote
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
This paper presents a user-centered design methodology for Decision Support Systems (DSSs), which is specifically built to face the socio-technical gap that often impedes DSS accep...
CHI
2007
ACM
16 years 6 days ago
2007
ACM
We present the first user study of out-of-turn interaction in menu-based, interactive voice-response systems. Out-ofturn interaction is a technique which empowers the user (unable...
106
click to vote
TOOLS
1999
IEEE
15 years 4 months ago
1999
IEEE
The paper describes the design and the Java implementation of a coordination architecture for mobile agents, based on an object-oriented Linda-like tuple space model, compliant wi...