Sciweavers

455 search results - page 45 / 91
» Asynchronous and deterministic objects
Sort
View
CORR
2006
Springer
87views Education» more  CORR 2006»
13 years 8 months ago
Pseudorandomness and Combinatorial Constructions
Abstract. In combinatorics, the probabilistic method is a very powerful tool to prove the existence of combinatorial objects with interesting and useful properties. Explicit constr...
Luca Trevisan
GECCO
2007
Springer
199views Optimization» more  GECCO 2007»
14 years 2 months ago
Multi-objective particle swarm optimization on computer grids
Abstract. In recent years, a number of authors have successfully extended particle swarm optimization to problem domains with multiple objectives. This paper addresses the issue of...
Sanaz Mostaghim, Jürgen Branke, Hartmut Schme...
ACSD
2006
IEEE
76views Hardware» more  ACSD 2006»
13 years 11 months ago
Specification and Verification of Dynamic Communication Systems
Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing...
Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd W...
CODAS
1996
157views more  CODAS 1996»
13 years 9 months ago
Flexible Workflow Framework for Supporting Collaborative Works
Database technologies are indispensable for workflow management system, one of the remarkable groupware supporting asynchronous distributed cooperative work. In this paper, a form...
Takeo Kunishima, Kazumasa Yokota
ENTCS
2008
71views more  ENTCS 2008»
13 years 8 months ago
An Inverse Method for Parametric Timed Automata
Given a timed automaton with parametric timings, our objective is to describe a procedure for deriving constraints on the parametric timings in order to ensure that, for each valu...
Étienne André, Thomas Chatain, Laure...