585 search results - page 95 / 117 » Structured Formal Development in Isabelle |
106
click to vote
ECOOP
2005
Springer
15 years 5 months ago
2005
Springer
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...
FSTTCS
2005
Springer
15 years 5 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
110
Voted
SIGMOD
2004
ACM
15 years 5 months ago
2004
ACM
Data items are often associated with a location in which they are present or collected, and their relevance or in uence decays with their distance. Aggregate values over such data...
SBIA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Enterprise delegates Agents’ Negotiation is a simpler task if the enterprises involved in the transaction have homogeneous representation structures as well as the same...
112
click to vote
ERSHOV
2003
Springer
15 years 5 months ago
2003
Springer
By obfuscation we mean any efficient semantic-preserving transformation of computer programs aimed at bringing a program into such a form, which impedes the understanding of its al...