2364 search results - page 286 / 473 » An Engine for Computing Well-Founded Models |
138
click to vote
FOSSACS
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
138
click to vote
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we describe our approach for developing a QoS-aware, dependable execution environment for large-scale distributed stream processing applications. Distributed stream ...
182
click to vote
QEST
2007
IEEE
15 years 11 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
155
Voted
EEMMAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Collaborative Ubiquitous Environments (CUEs) are environments supporting collaboration among persons in a ubiquitous computing setting. This paper shows how results of th...
151
click to vote
EVOW
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper presents a novel hybrid approach for solving the Container Loading (CL) problem based on the combination of Integer Linear Programming (ILP) and Genetic Algori...