238 search results - page 32 / 48 » Compositional Proof Methods for Concurrency: A Semantic Appr... |
106
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
95
Voted
APSCC
2009
IEEE
15 years 2 months ago
2009
IEEE
With the widespread of Web Services (WS), more deployed services are being registered into a services registry, consequently giving rise to a series of problems. A conspicuous one...
ER
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The Semantic Web promises to provide timely, targeted access to user-specified information online. Though standardized services exist for performing this work, specifying...
MM
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we present a novel approach for music structure analysis. A new segmentation method, beat space segmentation, is proposed and used for music chord detection and voc...
IFM
2004
Springer
15 years 3 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...