4340 search results - page 332 / 868 » Formal Methods and Cryptography |
195
click to vote
CASES
2010
ACM
15 years 3 months ago
2010
ACM
Approximate arithmetic is a promising, new approach to lowenergy designs while tackling reliability issues. We present a method to optimally distribute a given energy budget among...
207
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
The paper presents a kernel for learning from ordered hypergraphs, a formalization that captures relational data as used in Inductive Logic Programming (ILP). The kernel generaliz...
172
click to vote
FLOPS
2004
Springer
16 years 3 days ago
2004
Springer
We present a method for automatic program inversion of functional programs based on methods of LR parsing. We formalize the transformation and illustrate it with the inversion of a...
164
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract: This paper presents the information aggregation methods enabling cost- and QoS-aware service deployment. It is expected that network management tools will require the net...
153
click to vote
APSEC
2000
IEEE
15 years 10 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...