238 search results - page 32 / 48 » Compositional Proof Methods for Concurrency: A Semantic Appr... |
175
click to vote
CORR
2011
Springer
15 years 9 days 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...
163
click to vote
APSCC
2009
IEEE
15 years 10 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...
145
click to vote
ER
2006
Springer
15 years 9 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...
175
Voted
MM
2004
ACM
15 years 10 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...
127
Voted
IFM
2004
Springer
15 years 10 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...