3684 search results - page 43 / 737 » Generic Support for Distributed Applications |
133
click to vote
FLOPS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The paper "Scrap your boilerplate" (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, suppor...
LOGCOM
2010
15 years 27 days ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ï...
121
click to vote
SAC
2006
ACM
15 years 8 months ago
2006
ACM
Traditional semantic web query languages support a logicbased access to the semantic web. They offer a retrieval (or reasoning) of data based on facts. On the traditional web and...
148
click to vote
PVM
2005
Springer
15 years 8 months ago
2005
Springer
Parallel execution of simulation runs has become indispensable in different research areas recently. One of the most promising and powerful models in science are cellular automata ...
133
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...