188 search results - page 12 / 38 » On the Unification of Process Semantics: Observational Seman... |
RIAO
2000
14 years 5 days ago
2000
Requirements engineering is the first stage in the software life-cycle and is concerned with discovering and managing a software system's services, constraints and goals. Req...
FOSSACS
2008
Springer
14 years 11 days ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
ETRA
2008
ACM
14 years 18 days ago
2008
ACM
Under natural viewing conditions, human observers use shifts in gaze to allocate processing resources to subsets of the visual input. There are many computational models that try ...
MICCAI
2010
Springer
13 years 9 months ago
2010
Springer
The paper proposes a new shape morphometry approach to combine advanced classification techniques with geometric features in order to identify morphological abnormalities on brain...
LICS
2008
IEEE
14 years 5 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...