Sciweavers

670 search results - page 105 / 134
» Software safety: relating software assurance and software in...
Sort
View
139
Voted
EDUTAINMENT
2009
Springer
16 years 19 days ago
AdMoVeo: A Robotic Platform for Teaching Creative Programming to Designers
Designing intelligent products, systems and related services require the designers to be able to integrate technology in their designs. Among other skills, programming is the key f...
Sjriek Alers, Jun Hu
OTM
2007
Springer
16 years 6 days ago
Browsing Semantics in Context-Aware Mobile Hypermedia
Mobile hypermedia applications combine the well-known advantages of the navigational paradigm of the Web with the capabilities of location-aware software. However, there are some s...
Cecilia Challiol, Agustin Muñoz, Gustavo Ro...
FOSSACS
2004
Springer
15 years 11 months ago
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
Hartmut Ehrig, Barbara König
ITNG
2010
IEEE
15 years 11 months ago
Architectural, Technological and Methodological Aspects Involved in Design and Engineering a Service-Oriented Geographic Intelli
This paper, the third in a series of four papers, describes a subsystem with integrative function named Geographic Intelligence (GI), from SNIRH, The National Water Resource Infor...
Valdevino Siqueira Campos Neto, Fernando Maciel Li...
INFOVIS
1999
IEEE
15 years 10 months ago
A Framework for Focus+Context Visualization
Focus+context visualization techniques aim to give users integrated visual access to both details and overview of a data set. This paper gives a systematic account of such visuali...
Staffan Björk, Lars Erik Holmquist, Johan Red...