5344 search results - page 261 / 1069 » Privacy-Preserving Set Operations |
144
Voted
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
118
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...
124
Voted
SMC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—In this paper, a software architecture and knowledge representation scheme that enables the combination and reconfiguration of modular sensor and actuator components is...
117
Voted
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
122
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...