Sciweavers

3008 search results - page 82 / 602
» Information and Control in Gray-Box Systems
Sort
View
APLAS
2005
ACM
15 years 12 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
DEXAW
2003
IEEE
97views Database» more  DEXAW 2003»
15 years 11 months ago
Information Mapping and Indexing in DAYS
DAta in Your Space (DAYS) is an information dissemination system, which aims to provide desired information to use users through wireless channels. DAYS pushes data and control in...
Nimisha Garg, Vijay Kumar, Margaret H. Dunham
ERCIMDL
2004
Springer
112views Education» more  ERCIMDL 2004»
15 years 11 months ago
System Support for Name Authority Control Problem in Digital Libraries: OpenDBLP Approach
In maintaining Digital Libraries, having bibliographic data up-to-date is critical, yet often minor irregularities may cause information isolation. Unlike documents for which vario...
Yoojin Hong, Byung-Won On, Dongwon Lee
ACSAC
2001
IEEE
15 years 10 months ago
Why Information Security is Hard-An Economic Perspective
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...
Ross J. Anderson
NPIV
1998
ACM
117views Visualization» more  NPIV 1998»
15 years 10 months ago
Data Object and Label Placement For Information Abundant Visualizations
Placing numerous data objects and their corresponding labels in limited screen space is a challenging problem in information visualization systems. Extending map-oriented techniqu...
Jia Li, Catherine Plaisant, Ben Shneiderman