982 search results - page 36 / 197 » Model Based Multi-Level Prototyping |
PUC
2002
15 years 2 months ago
2002
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...
101
click to vote
CADUI
2004
15 years 3 months ago
2004
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...
100
click to vote
SIBGRAPI
2003
IEEE
15 years 7 months ago
2003
IEEE
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...
137
click to vote
JDCTA
2010
14 years 9 months ago
2010
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...
118
click to vote
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
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...