4340 search results - page 727 / 868 » Formal Methods and Cryptography |
139
click to vote
IFL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Parser combinators, often monadic, are a venerable and widelyused solution to read data from some external format. However, the capability to return a partial parse has, ...
121
Voted
IFM
2007
Springer
15 years 11 months ago
2007
Springer
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...
166
click to vote
KI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
164
click to vote
MIDDLEWARE
2007
Springer
15 years 11 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
126
click to vote
VAMOS
2007
Springer
15 years 11 months ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...