4919 search results - page 651 / 984 » A Process-Ontological Model for Software Engineering |
153
click to vote
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
145
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
140
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...
129
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
164
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Stochastic optimization is a leading approach to model optimization problems in which there is uncertainty in the input data, whether from measurement noise or an inabili...