2693 search results - page 186 / 539 » French Order Without Order |
106
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We give an algorithm that computes the final state of certain growth models without computing all intermediate states. Our technique is based on a "least action principle"...
134
click to vote
ECEASST
2008
15 years 4 months ago
2008
In this paper we extend our results (as given in [PHE+07]) concerning the layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (MANETs) using algebraic higher ord...
153
click to vote
ENTCS
2008
15 years 4 months ago
2008
We do not interact with systems without first performing some physical action on a physical device. This paper shows how formal notations and formal models can be developed to acc...
126
click to vote
IPL
2008
15 years 4 months ago
2008
Slicing is a program transformation technique with numerous applications, as it allows the user to focus on the parts of a program that are relevant for a given purpose. Ideally, ...
111
click to vote
IJNSEC
2006
15 years 4 months ago
2006
SASC (Server-Aided Secret Computation) protocols enable a client (a smart card) to borrow computing power from a server (e.g., an untrustworthy auxiliary device like an ATM) witho...