797 search results - page 13 / 160 » Observing Success in the Pi-Calculus |
AAAI
2006
14 years 11 months ago
2006
In this work we propose three unsupervised measures to automatically identify the number of distinct entities a given ambiguous name refers to in a corpus. We experiment with 22 a...
ENTCS
2008
14 years 9 months ago
2008
This paper combines two successful techniques from software engineering, aspect-oriented programming and design-by-contract, and applies them in the context of reactive systems. F...
SCL
2008
14 years 9 months ago
2008
We observe that successive applications of known results from the theory of positive systems lead to an efficient general algorithm for positive realizations of transfer functions...
IJCAI
1989
14 years 10 months ago
1989
The converse problem of measurement interpretation is event recognition. In situations which are characterized by a specific order of events, a single snapshot is not sufficient t...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
This study aims at better understanding how information technology (IT) governance supports organizations in their business exchanges with other organizations. Its main objective ...