2108 search results - page 231 / 422 » An Operational Semantics for Stateflow |
152
click to vote
WEBI
2007
Springer
15 years 10 months ago
2007
Springer
There is a critical need to design and develop tools tract away the fundamental complexity of XML-based Web services specifications and toolkits, and provide an elegant, intuitive...
151
click to vote
IMC
2006
ACM
15 years 10 months ago
2006
ACM
A key step in the semantic analysis of network traffic is to parse the traffic stream according to the high-level protocols it contains. This process transforms raw bytes into s...
136
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Collaborative filtering requires a centralized rating database. However, within a peer-to-peer network such a centralized database is not readily available. In this paper, we pro...
145
click to vote
WWW
2005
ACM
15 years 10 months ago
2005
ACM
An important issue arising from P2P applications is how to accurately and efficiently retrieve the required Web services from large-scale repositories. This paper resolves this is...
113
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...