Sciweavers

631 search results - page 110 / 127
» A Structured Approach to Support 3D User Interface Developme...
Sort
View
ZUM
1997
Springer
125views Formal Methods» more  ZUM 1997»
15 years 1 months ago
A Formal OO Method Inspired by Fusion and Object-Z
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
Klaus Achatz, Wolfram Schulte
ICST
2008
IEEE
15 years 4 months ago
State-Based Testing of Ajax Web Applications
Ajax supports the development of rich-client Web applications, by providing primitives for the execution of asynchronous requests and for the dynamic update of the page structure ...
Alessandro Marchetto, Paolo Tonella, Filippo Ricca
CISIS
2010
IEEE
15 years 2 months ago
iweightings: Enhancing Structure-based Ontology Alignment by Enriching Models with Importance Weighting
—Structural ontology matching methods analyze mainly two factors: entity labels and relationships among entities. We propose to additionally consider an importance and relevance ...
Alexandra Mazak, Bernhard Schandl, Monika Lanzenbe...
MHCI
2009
Springer
15 years 4 months ago
Community Practices and Locative Media
The development of locative media applications is not simply about the physical location or social setting in which the interaction occurs, but rather about situating the media wi...
Katharine S. Willis, Keith Cheverst, Claudia Muell...
CSCW
2004
ACM
15 years 3 months ago
Behind the help desk: evolution of a knowledge management system in a large organization
This paper examines the way in which a knowledge management system (KMS)—by which we mean the people, processes and software—came into being and evolved in response to a varie...
Christine Halverson, Thomas Erickson, Mark S. Acke...