Sciweavers

1520 search results - page 226 / 304
» Ontologies for User Interface Integration
Sort
View
105
Voted
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,...
104
Voted
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
126
Voted
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 ...
167
Voted
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...