119 search results - page 2 / 24 » A Theory of Scope |
111
Voted
FROCOS
2000
Springer
15 years 3 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 ...
123
click to vote
CORR
2008
Springer
14 years 11 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
14 years 11 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...
113
click to vote
ESANN
2006
15 years 1 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...
106
click to vote
WIOPT
2010
IEEE
14 years 10 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...