Sciweavers

2005 search results - page 193 / 401
» Models and Meta Models for Transactions in Web Applications
Sort
View
EUROSSC
2006
Springer
15 years 5 months ago
Toward Wide Area Interaction with Ubiquitous Computing Environments
Despite many years of ubiquitous computing (ubicomp) middleware research, deployment of such systems has not been widespread. We suggest this is in part because we lack a shared mo...
Michael Blackstock, Rodger Lea, Charles Krasic
GD
2004
Springer
15 years 7 months ago
3D Visualization of Semantic Metadata Models and Ontologies
Abstract. We propose an algorithm for the 3D visualization of general ontology models used in many applications, such as semantic web, entity-relationship diagrams and other databa...
Charalampos Papamanthou, Ioannis G. Tollis, Martin...
ICSE
2009
IEEE-ACM
15 years 8 months ago
Verifying networked programs using a model checker extension
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
Watcharin Leungwattanakit, Cyrille Artho, Masami H...
101
Voted
EDOC
2003
IEEE
15 years 7 months ago
A Model-Driven Transformation Method
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
Jana Koehler, Rainer Hauser, Shubir Kapoor, Freder...
NAACL
2010
14 years 11 months ago
Topic Models for Image Annotation and Text Illustration
Image annotation, the task of automatically generating description words for a picture, is a key component in various image search and retrieval applications. Creating image datab...
Yansong Feng, Mirella Lapata