Sciweavers

222 search results - page 24 / 45
» Graphically explaining norms
Sort
View
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
15 years 2 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer
BXML
2004
14 years 11 months ago
AMACONT: A System Architecture for Adaptive Multimedia Web Applications
Abstract: Engineering personalized ubiquitous Web applications requires to develop adaptable Web content as well as to automatically adjust it to varying client devices and dynamic...
Michael Hinz, Zoltán Fiala
118
Voted
I3E
2001
196views Business» more  I3E 2001»
14 years 11 months ago
Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
Jan Jürjens, Guido Wimmel
IJCAI
2001
14 years 11 months ago
Usability Guidelines for Interactive Search in Direct Manipulation Systems
As AI systems make their way into the mainstream of interactive applications, usability becomes an increasingly important factor in their success. A wide range of user interface d...
Robert St. Amant, Christopher G. Healey
FORTE
2003
14 years 11 months ago
Specifying and Realising Interactive Voice Services
VoiceXML (Voice Extended Markup Language) has become a major force in interactive voice services. However current approaches to creating VoiceXML services are rather low-level. Gra...
Kenneth J. Turner