Sciweavers

5184 search results - page 1009 / 1037
» Computer support for mechatronic control system design
Sort
View
GIS
2007
ACM
14 years 8 months ago
Quality-driven geospatial data integration
Accurate and efficient integration of geospatial data is an important problem with applications in areas such as emergency response and urban planning. Some of the key challenges ...
Craig A. Knoblock, José Luis Ambite, Snehal...
EUROSYS
2008
ACM
14 years 4 months ago
Flicker: an execution infrastructure for tcb minimization
We present Flicker, an infrastructure for executing securitysensitive code in complete isolation while trusting as few as 250 lines of additional code. Flicker can also provide me...
Jonathan M. McCune, Bryan Parno, Adrian Perrig, Mi...
ICAIL
2003
ACM
14 years 27 days ago
Specifying and Reasoning with Institutional Agents
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
Filipe Santos, Olga Pacheco
CHI
2004
ACM
14 years 8 months ago
WinCuts: manipulating arbitrary window regions for more effective use of screen space
Each window on our computer desktop provides a view into some information. Although users can currently manipulate multiple windows, we assert that being able to spatially arrange...
Desney S. Tan, Brian Meyers, Mary Czerwinski
SIGMOD
2009
ACM
132views Database» more  SIGMOD 2009»
14 years 7 months ago
Core schema mappings
Research has investigated mappings among data sources under two perspectives. On one side, there are studies of practical tools for schema mapping generation; these focus on algor...
Giansalvatore Mecca, Paolo Papotti, Salvatore Raun...
« Prev « First page 1009 / 1037 Last » Next »