Sciweavers

933 search results - page 158 / 187
» How compilers and tools differ for embedded systems
Sort
View
INFOVIS
2005
IEEE
14 years 2 months ago
Low-Level Components of Analytic Activity in Information Visualization
Existing system-level taxonomies of visualization tasks are geared more towards the design of particular representations than the facilitation of user analytic activity. We presen...
Robert A. Amar, James Eagan, John T. Stasko
HICSS
2003
IEEE
120views Biometrics» more  HICSS 2003»
14 years 1 months ago
Evaluating On-line Learning Platforms: a Case Study
Our “information-oriented” society shows an increasing exigency of life-long learning. In such framework, online Learning is becoming an important tool to allow the flexibilit...
Francesco Colace, Massimo De Santo, Mario Vento
CBSQ
2003
Springer
14 years 1 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
ACSAC
1998
IEEE
14 years 28 days ago
Concentric Supervision of Security Applications: A New Security Management Paradigm
This paper questions the status quo regarding Security Management (SM) tools that function in an isolated, monolithic fashion. People work best by interacting with others and with...
P. C. Hyland, Ravi S. Sandhu
ECOI
2010
144views more  ECOI 2010»
13 years 7 months ago
Machine reasoning about anomalous sensor data
We describe a semantic data validation tool that is capable of observing incoming real-time sensor data and performing reasoning against a set of rules specific to the scientific d...
Matt Calder, Robert A. Morris, Francesco Peri