2110 search results - page 221 / 422 » Delegation Modeling with Paradigm |
188
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
161
click to vote
CPAIOR
2009
Springer
16 years 1 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
175
click to vote
KBSE
2005
IEEE
16 years 4 days ago
2005
IEEE
The Nix software deployment system is based on the paradigm of transparent source/binary deployment: distributors deploy descriptors that build components from source, while clien...
169
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
Regular Tree Model Checking Ahmed Bouajjani, Peter Habermehl 1 LIAFA, University Paris 7, Case 7014, 2, place Jussieu, F-75251 Paris Cedex 05, France Adam Rogalewicz, Tom´aˇs Voj...
206
click to vote
SAB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...