9325 search results - page 347 / 1865 » The decentralized implementability problem |
139
Voted
ENTCS
2007
15 years 4 months ago
2007
We analyze the matching problem for bigraphs. In particular, we present a sound and complete inductive characterization of matching of binding bigraphs. Our results pave the way f...
171
click to vote
CONCUR
2009
Springer
15 years 2 months ago
2009
Springer
We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...
119
click to vote
JSC
2010
14 years 11 months ago
2010
We describe an algorithm for converting a characteristic set of a prime differential ideal from one ranking into another. This algorithm was implemented in many different language...
125
click to vote
MOC
2010
14 years 11 months ago
2010
We derive in this paper a unified framework for a priori and a posteriori error analysis of mixed finite element discretizations of second-order elliptic problems. It is based on ...
126
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— The problem of sensor activation in a controlled discrete event system is considered. Sensors are assumed to be costly and can be turned on/off during the operation of the syst...