Sciweavers

7055 search results - page 221 / 1411
» Some New 4-Designs
Sort
View
ADAEUROPE
2003
Springer
15 years 12 months ago
A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95
Abstract. In this paper we present a proposal to integrate the POSIX.1 executiontime clocks and execution-time timers into the Ada 95 language. This proposal defines a new package...
Francisco Javier Miranda González, Michael ...
BTW
2003
Springer
94views Database» more  BTW 2003»
15 years 12 months ago
Web Services: Distributed Applications Without Limits
: Web services technology is all about distributed computing. There is no fundamentally new basic concept behind this and related technologies. What is really new is the reach of W...
Frank Leymann
COCOON
2003
Springer
15 years 12 months ago
Petri Nets with Simple Circuits
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...
Hsu-Chun Yen, Lien-Po Yu
EUROGP
2003
Springer
259views Optimization» more  EUROGP 2003»
15 years 12 months ago
Research of a Cellular Automaton Simulating Logic Gates by Evolutionary Algorithms
This paper presents a method of using genetic programming to seek new cellular automata that perform computational tasks. Two genetic algorithms are used : the first one discovers ...
Emmanuel Sapin, Olivier Bailleux, Jean-Jacques Cha...
FOSSACS
2003
Springer
15 years 12 months ago
Model Checking Lossy Channels Systems Is Probably Decidable
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
Nathalie Bertrand, Ph. Schnoebelen