Sciweavers

1962 search results - page 206 / 393
» Software performance engineering of component-based systems
Sort
View
SEFM
2007
IEEE
15 years 10 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
IUI
2004
ACM
15 years 9 months ago
Where to look: a study of human-robot engagement
This paper reports on a study of human subjects with a robot designed to mimic human conversational gaze behavior in collaborative conversation. The robot and the human subject to...
Candace L. Sidner, Cory D. Kidd, Christopher Lee, ...
ADAEUROPE
2004
Springer
15 years 9 months ago
Implementing an Application-Defined Scheduling Framework for Ada Tasking
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
Mario Aldea Rivas, Francisco Javier Miranda Gonz&a...
SEM
2004
Springer
15 years 9 months ago
Towards the Development of Ubiquitous Middleware Product Lines
Abstract. Ubiquitous computing is a challenge for the design of middleware. The reasons are resource constraints, mobility, heterogeneity, etc., just to name a few. We argue that s...
Sven Apel, Klemens Böhm
114
Voted
UIST
1996
ACM
15 years 8 months ago
XXL: A Dual Approach for Building User Interfaces
This paper presents XXL, a new interactive development system for building user interfaces which is based on the concept of textual and visual equivalence. XXL includes an interac...
Eric Lecolinet