5740 search results - page 170 / 1148 » Dynamic Distributed BackJumping |
AMAST
2006
Springer
14 years 18 days ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
CIS
2007
Springer
14 years 13 days ago
2007
Springer
Multi-domain application environments where distributed domains interoperate with each other are becoming a reality in Internet-based enterprise applications. The secure interoper...
COLING
2008
14 years 2 days ago
2008
We study the self-organization of the consonant inventories through a complex network approach. We observe that the distribution of occurrence as well as cooccurrence of the conso...
DAGSTUHL
2006
14 years 1 days ago
2006
Small unpiloted aircraft (UAVs) each have limited power budgets. If a group (swarm) of small UAVs is organised to perform a common task such as geo-location, then it is possible t...
DAGSTUHL
2003
14 years 17 hour ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...