Sciweavers

2851 search results - page 215 / 571
» Operationalizing Conceptual Models Based on a Model of Depen...
Sort
View
SOCO
2008
Springer
15 years 6 months ago
Component-Based Access Control: Secure Software Composition through Static Analysis
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
Pierre Parrend, Stéphane Frénot
CHI
2004
ACM
16 years 1 hour ago
How do users think about ubiquitous computing?
As ubiquitous computing technology migrates into the home environment, there has been a concurrent effort to allow users to build and customize such technologies to suit their own...
Khai N. Truong, Elaine M. Huang, Molly M. Stevens,...
HASE
1998
IEEE
15 years 10 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
DGO
2004
112views Education» more  DGO 2004»
15 years 8 months ago
Exploration and Exploitation: Knowledge Sharing in Digital Government Projects
This paper examines knowledge sharing processes in digital government projects (DGPs). Although knowledge sharing processes are a central feature of the functioning of government,...
Maria Christina Binz-Scharf
SPIESR
1996
141views Database» more  SPIESR 1996»
15 years 7 months ago
Describing and Classifying Multimedia Using the Description Logic GRAIL
Many applications would benefit if media objects such as images could be selected and classified (or clustered) such that "conceptually similar" images are grouped toget...
Carole A. Goble, Christian Haul, Sean Bechhofer