5451 search results - page 856 / 1091 » Typed Operational Semantics |
154
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
158
click to vote
ISMIS
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents MetaNews, an information gathering agent for news articles on the Web. MetaNews reads HTML documents from online news sites and extracts article information fro...
168
click to vote
ISCA
2010
IEEE
15 years 10 months ago
2010
IEEE
Over the past decade there has been a surge of academic and industrial interest in optimistic concurrency, i.e. the speculative parallel execution of code regions that have the se...
164
click to vote
WEBDB
2010
Springer
15 years 10 months ago
2010
Springer
We introduce and study concurrent One-Way Protocols in social networks. The model is motivated by the rise of online social networks and the fast development of automation feature...
145
click to vote
CCGRID
2002
IEEE
15 years 10 months ago
2002
IEEE
Abstract— This paper presents an experimental evaluation of the latency performance of several implementations of Simple Object Access Protocol (SOAP) operating over HTTP, and co...