Sciweavers

4064 search results - page 190 / 813
» Animation: can it facilitate
Sort
View
CHI
2003
ACM
14 years 8 months ago
The gateway: a navigation technique for migrating to small screens
Displaying and navigating information on a large screen can be a challenge and has resulted in a variety of techniques such as text summarization and fisheye. An additional challe...
Bonnie MacKay
SIGMOD
2002
ACM
147views Database» more  SIGMOD 2002»
14 years 8 months ago
Conceptual Model of Web Service Reputation
Current Web services standards enable publishing service descriptions and finding services on a match based on criteria such as method signatures or service category. However, cur...
E. Michael Maximilien, Munindar P. Singh
CAISE
2007
Springer
14 years 2 months ago
Automated Semantic Analyses of Conceptual Models
Conceptual models are an important repository for knowledge in companies and public institutions. The retrieval of this knowledge can prepare reorganisations projects and support I...
Jörg Becker, Daniel Pfeiffer
GI
2007
Springer
14 years 2 months ago
An Integrated Rule Modeling Framework
Abstract: This paper introduces an Integrated Rule Modeling Framework, which consists of the UML-based rule modeling tool Strelka, rule interchange format R2ML and a number of serv...
Sergey Lukichev, Adrian Giurca, Gerd Wagner
TGC
2007
Springer
14 years 2 months ago
Elimination of Ghost Variables in Program Logics
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
Martin Hofmann, Mariela Pavlova