769 search results - page 84 / 154 » Simple Composition of Nets |
SERVICES
2008
13 years 9 months ago
2008
Where services are offered on a commercial basis, the manner in which charges for service usage are calculated is of key importance. Services typically have associated with them a...
ECAI
2008
Springer
13 years 8 months ago
2008
Springer
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
ENTCS
2010
13 years 7 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
DM
2008
13 years 7 months ago
2008
In this paper we are concerned with the following question: for a semigroup S, what is the largest size of a subsemigroup T S where T has a given property? The semigroups S that w...
SIBGRAPI
2007
IEEE
14 years 2 months ago
2007
IEEE
Cell segmentation is a challenging problem due to both the complex nature of the cells and the uncertainty present in video microscopy. Manual methods for this purpose are onerous...