5451 search results - page 103 / 1091 » Typed Operational Semantics |
136
Voted
WWW
2005
ACM
15 years 9 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...
131
click to vote
SEMWEB
2001
Springer
15 years 8 months ago
2001
Springer
Resolving heterogeneity among information systems is a crucial necessity if we wish to gain value from the many distributed resources available to us. Problems of heterogeneity in ...
126
Voted
TACS
2001
Springer
15 years 8 months ago
2001
Springer
We give a logic programming language based on Fiore, Plotkin and Turi’s binding algebras. In this language, we can use not only first-order terms but also terms involving variab...
170
Voted
ESWS
2009
Springer
15 years 1 months ago
2009
Springer
Many applications operate on time-sensitive data. Some of these data are only valid for certain intervals (e.g., job-assignments, versions of software code), others describe tempor...
158
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...