119 search results - page 2 / 24 » A Theory of Scope |
FROCOS
2000
Springer
13 years 9 months ago
2000
Springer
In this paper we extend the applicability of our combination method for decision procedures for the word problem to theories sharing non-collapse-free constructors. This extension ...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
ETS
2002
IEEE
13 years 5 months ago
2002
IEEE
In this concluding synthesis article, I summarize and discuss the papers that comprise both parts of this special issues. Two organizing frameworks are provided to facilitate read...
ESANN
2006
13 years 7 months ago
2006
Bioinformatics is a promising and innovative research field. Despite of a high number of techniques specifically dedicated to bioinformatics problems as well as many successful app...
WIOPT
2010
IEEE
13 years 4 months ago
2010
IEEE
—Opportunistic forwarding is a simple scheme for packet routing in ad hoc wireless networks such as duty cycling sensor networks in which reducing energy consumption is a princip...