Sciweavers

2658 search results - page 418 / 532
» Micro-communication Element System
Sort
View
PLDI
2011
ACM
14 years 6 months ago
Caisson: a hardware description language for secure information flow
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
Xun Li 0001, Mohit Tiwari, Jason Oberg, Vineeth Ka...
COSIT
2011
Springer
269views GIS» more  COSIT 2011»
14 years 3 months ago
Analyzing the Spatial-Semantic Interaction of Points of Interest in Volunteered Geographic Information
With the increasing success and commercial integration of Volunteered Geographic Information (VGI), the focus shifts away from coverage to data quality and homogeneity. Within the ...
Christoph Mülligann, Krzysztof Janowicz, Mao ...
IACR
2011
155views more  IACR 2011»
14 years 3 months ago
Terminating BKZ
Strong lattice reduction is the key element for most attacks against lattice-based cryptosystems. Between the strongest but impractical HKZ reduction and the weak but fast LLL redu...
Guillaume Hanrot, Xavier Pujol, Damien Stehl&eacut...
CORR
2012
Springer
204views Education» more  CORR 2012»
13 years 11 months ago
Ontologies for the Integration of Air Quality Models and 3D City Models
In the perspective of a sustainable urban planning, it is necessary to investigate cities in a holistic way and to accept surprises in the response of urban environments to a part...
Claudine Métral, Gilles Falquet, Kostas Kar...
203
Voted
ICDE
2004
IEEE
119views Database» more  ICDE 2004»
16 years 5 months ago
Improving Logging and Recovery Performance in Phoenix/App
Phoenix/App supports software components whose states are made persistent across a system crash via redo recovery, replaying logged interactions. Our initial prototype force logge...
Roger S. Barga, Shimin Chen, David B. Lomet