Sciweavers

1520 search results - page 226 / 304
» Ontologies for User Interface Integration
Sort
View
CAV
2010
Springer
223views Hardware» more  CAV 2010»
15 years 6 months ago
RATSY - A New Requirements Analysis Tool with Synthesis
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
Roderick Bloem, Alessandro Cimatti, Karin Greimel,...
APWEB
2006
Springer
15 years 6 months ago
Tourism Guided Information System for Location-Based Services
Mobile information community develops quickly, as mobile telecommunication technology matches to the third generation. XML-based GIS becomes a global standard and the foundation. R...
Chang-Won Jeong, Yeong-Jee Chung, Su-Chong Joo, Jo...
CHI
1995
ACM
15 years 6 months ago
Ethics, Lies and Videotape..
Videotape has become one of the CHI community's most useful technologies: it allows us to analyze users' interactions with computers, prototype new interfaces, and prese...
Wendy E. Mackay
AAAI
2008
15 years 5 months ago
Local Search for Optimal Global Map Generation Using Mid-Decadal Landsat Images
NASA and USGS are collaborating to produce a global map of Earth using Landsat 5 Thematic Mapper and Landsat 7 Enhanced Thematic Mapper Plus sensor data from the period of 2004 th...
Robert A. Morris, John Gasch, Lina Khatib, Steven ...
MKWI
2008
171views Business» more  MKWI 2008»
15 years 4 months ago
Model-Driven Process Development Incorporating Human Tasks in Service-Oriented Grid Environments
: Grid computing infrastructures and service-oriented architectures commonly rely on web services as their implementation technology. This technology allows complex workflows to be...
Julian Reichwald, Tim Dörnemann, Thomas Barth...