2110 search results - page 57 / 422 » Delegation Modeling with Paradigm |
154
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
traction with Interpolants K. L. McMillan Cadence Berkeley Labs Abstract. We describe a model checker for infinite-state sequential proased on Craig interpolation and the lazy abst...
140
click to vote
PSYCHNOLOGY
2007
15 years 5 months ago
2007
Free Software is sometimes considered solely a technical option, but that is a quite limited point of view: we suggest, indeed, that Free Software is not merely a technical option...
173
click to vote
ESAW
2000
Springer
15 years 9 months ago
2000
Springer
We present a first approach that combines the mobile agent and the compositional paradigms into a new agent-based compositional model. The aim of this work is to explore the capabi...
153
click to vote
FAC
2006
15 years 6 months ago
2006
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...
179
click to vote
HT
2009
ACM
15 years 4 months ago
2009
ACM
In this paper we describe a model of social and collaborative search based on the use of tags. First we will introduce the issues that drove us to the definition of this model, an...