Sciweavers

1230 search results - page 48 / 246
» On Abstraction in Scenarios
Sort
View
GECCO
2004
Springer
137views Optimization» more  GECCO 2004»
14 years 2 months ago
Modeling Coevolutionary Genetic Algorithms on Two-Bit Landscapes: Random Partnering
Abstract. A model of coevolutioinary genetic algorithms (COGA) consisting of two populations coevolving on two-bit landscapes is investigated in terms of the effects of random par...
Ming Chang, Kazuhiro Ohkura, Kanji Ueda, Masaharu ...
ICCS
2004
Springer
14 years 2 months ago
A Real-Time Total Order Multicast Protocol
Abstract. We describe, analyze and submit results of a real-time total order multicast protocol developed on a distributed real-time system architecture that consists of hierarchic...
Kayhan Erciyes, Ahmet Sahan
IAW
2003
IEEE
14 years 2 months ago
Static Verification of Worm and virus Behavior in binary Executables using Model Checking
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
Prabhat K. Singh, Arun Lakhotia
ICSM
2003
IEEE
14 years 2 months ago
Using Intentional Source-Code Views to Aid Software Maintenance
The conceptual structure of existing software systems is often implicit or non-existing in the source code. We prolightweight abstraction of intentional source-code views as a mea...
Kim Mens, Bernard Poll, Sebastián Gonz&aacu...
ICRA
2002
IEEE
113views Robotics» more  ICRA 2002»
14 years 1 months ago
Huey, Dewey, Louie, and GUI - Commanding Robot Formations
We present a graphical user interface (GUI) for easy, intuitive control of a group of mobile robots moving in formation, and we give a short description of the general, local, dis...
Jakob Fredslund, Maja J. Mataric