Sciweavers

1230 search results - page 48 / 246
» On Abstraction in Scenarios
Sort
View
GECCO
2004
Springer
137views Optimization» more  GECCO 2004»
15 years 11 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
15 years 11 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
15 years 11 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
15 years 11 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»
15 years 11 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