2239 search results - page 280 / 448 » Computing with abstract matrix structures |
144
click to vote
PAM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we analyze three and a half years of HTTP traffic observed at a small research institute to characterize the evolution of various facets of web operation. W...
121
Voted
COLCOM
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract. Traditional workflow enactment systems and workflow design processes view the workflow as a one-time interaction with the various data sources, executing a series of step...
136
click to vote
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
128
click to vote
COORDINATION
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been propo...
108
Voted
AMW
2010
15 years 4 months ago
2010
Abstract. We study the problem of instance level (ABox) updates for Knowledge Bases (KBs) represented in Description Logics of the DL-Lite family. DLLite is at the basis of OWL 2 Q...