Sciweavers

982 search results - page 36 / 197
» Model Based Multi-Level Prototyping
Sort
View
PUC
2002
82views more  PUC 2002»
15 years 2 months ago
A Location Model for Communicating and Processing of Context
Location is one of the most important elements of context in ubiquitous computing. In this paper we describe a location model, a spatial-aware communication model and an implement...
Michael Beigl, Tobias Zimmer, Christian Decker
CADUI
2004
15 years 3 months ago
MAUI: An Interface Design Tool Based on Matrix Algebra
Abstract We describe MAUI, a user interface design tool that is based on a matrix algebra model of interaction. MAUI can be used to build and analyse designs for interactive system...
Jeremy Gow, Harold W. Thimbleby
SIBGRAPI
2003
IEEE
15 years 7 months ago
A Sketch-Based Collaborative Design System
We present a system for collaborative conceptual design that allows users potentially located in geographically distant areas to cooperate by sketching, exploring and modifying the...
Zhe Fan, Ma Chi, Manuel M. Oliveira
JDCTA
2010
150views more  JDCTA 2010»
14 years 9 months ago
A Knowledge Recommend System Based on User Model
The content and searching method of knowledge base are lack of the consideration of user requirements, it is difficult for the user to select the knowledge satisfy with the user r...
Jiagen Sheng, Sifeng Liu
SCAM
2008
IEEE
15 years 8 months ago
Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
Lei Wang, Qiang Zhang, PengChao Zhao