1163 search results - page 39 / 233 » Case Studies of Model Checking for Embedded System Designs |
143
click to vote
IJWBC
2010
15 years 2 months ago
2010
: Virtual communities play an important part in enabling people with common interests to interact with each other. Current research mostly focuses on the aspects of social interact...
146
click to vote
FLAIRS
2006
15 years 5 months ago
2006
In this paper, we describe an approach to modelling contextaware systems starting on the knowledge level. We make use of ideas from Activity Theory to structure the general contex...
133
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
EnCompass®1 , a web-enabled system for organizational process visualization, analysis, synthesis, and management, provides an interactive vehicle for understanding the influence ...
131
click to vote
VIP
2001
15 years 5 months ago
2001
Visualisation Systems are in general designed to maximise the cognitive ability of system users particularly when exposed to large sets of otherwise difficult to comprehend data, ...
150
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
Model Driven Data Integration is a data integration approach that proactively incorporates and utilizes metadata across the data integration process. By decoupling data and metada...