Sciweavers

9049 search results - page 235 / 1810
» The New C Standard
Sort
View
GPC
2009
Springer
15 years 10 months ago
Web Services for Deeply Embedded Extra Low-Cost Devices
Abstract. This paper describes a new approach to implement Web Services in embedded devices connected to Wireless Sensor Networks. The sensor/actuator node is able to process stand...
David Villa, Felix Jesús Villanueva, Franci...
SEC
2008
15 years 8 months ago
Interactive Selection of ISO 27001 Controls under Multiple Objectives
Abstract IT security incidents pose a major threat to the efficient execution of corporate strategies. Although, information security standards provide a holistic approach to mitig...
Thomas Neubauer, Andreas Ekelhart, Stefan Fenz
FUIN
2008
73views more  FUIN 2008»
15 years 6 months ago
On Krivine's Realizability Interpretation of Classical Second-Order Arithmetic
This article investigates Krivine's realizability interpretation of classical second-order arithmetic and its recent extension handling countable choice. We will start by pre...
Paulo Oliva, Thomas Streicher
ENTCS
2006
172views more  ENTCS 2006»
15 years 6 months ago
Locality of Queries and Transformations
Locality is a standard notion of finite model theory. There are two well known flavors of it, based on Hanf's and Gaifman's theorems. Essentially they say that structure...
Leonid Libkin
PAMI
2006
117views more  PAMI 2006»
15 years 6 months ago
Metric Learning for Text Documents
High dimensional structured data such as text and images is often poorly understood and misrepresented in statistical modeling. The standard histogram representation suffers from ...
Guy Lebanon