Sciweavers

5433 search results - page 514 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
CAE
2005
15 years 9 months ago
Form Follows Function: Aesthetic Interactive Labels
Labels effectively convey co-referential relations between textual and visual elements and are a powerful tool to support learning tasks. Therefore, almost all illustrations in sc...
Timo Götzelmann, Kamran Ali, Knut Hartmann, T...
AAAI
2008
15 years 9 months ago
Metalevel Information in Ontology-Based Applications
Applications of Semantic Web technologies often require the management of metalevel information--that is, information that provides additional detail about domain-level informatio...
Thanh Tran, Peter Haase, Boris Motik, Bernardo Cue...
EICS
2010
ACM
15 years 9 months ago
Exploiting web service annotations in model-based user interface development
In this paper we present a method and the associated tool support able to exploit the content of Web service annotations in model-based user interface design and development. We a...
Fabio Paternò, Carmen Santoro, Lucio Davide...
BPM
2008
Springer
147views Business» more  BPM 2008»
15 years 9 months ago
Business Process Modelling with Continuous Validation
In this paper, we demonstrate the prototype of a modelling tool that applies graph-based rules for identifying problems in business process models. The advantages of our approach a...
Stefan Kühne, Heiko Kern, Volker Gruhn, Ralf ...
ASM
2010
ASM
15 years 9 months ago
Applying the B Method for the Rigorous Development of Smart Card Applications
Abstract. Smart Card applications usually require reliability and security to avoid incorrect operation or access violation in transactions and corruption or undue access to stored...
Bruno Emerson Gurgel Gomes, David Déharbe, ...