Sciweavers

4327 search results - page 122 / 866
» Web presentation system using RST events
Sort
View
IUI
2004
ACM
15 years 10 months ago
The connected user interface: realizing a personal situated navigation service
Navigation services can be found in different situations and contexts: while connected to the web through a desktop PC, in cars, and more recently on PDAs while on foot. These ser...
Antonio Krüger, Andreas Butz, Christian A. M&...
AOSD
2005
ACM
15 years 10 months ago
An expressive aspect language for system applications with Arachne
C applications, in particular those using operating system level services, frequently comprise multiple crosscutting concerns: network protocols and security are typical examples ...
Rémi Douence, Thomas Fritz, Nicolas Loriant...
IFM
2004
Springer
175views Formal Methods» more  IFM 2004»
15 years 9 months ago
State/Event-Based Software Model Checking
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine,...
WWW
2009
ACM
16 years 5 months ago
A flexible dialogue system for enhancing web usability
In this paper, we study how the performance and usability of web dialogue systems could be enhanced by using an appropriate representation of the different types of knowledge invo...
Marta Gatius, Meritxell González
WEBI
2007
Springer
15 years 10 months ago
Improving Performance of Web Services Query Matchmaking with Automated Knowledge Acquisition
There is a critical need to design and develop tools tract away the fundamental complexity of XML-based Web services specifications and toolkits, and provide an elegant, intuitive...
Chaitali Gupta, Rajdeep Bhowmik, Michael R. Head, ...