Sciweavers

231 search results - page 20 / 47
» A Brief Overview of PVS
Sort
View
ECBS
2003
IEEE
95views Hardware» more  ECBS 2003»
14 years 24 days ago
FMC: An Approach Towards Architecture-Centric System Development
The architectural level plays a major role in the engineering of computer based systems. Having proper means for representing the architecture of a system is a crucial element of ...
Frank Keller, Siegfried Wendt
ECBS
2003
IEEE
115views Hardware» more  ECBS 2003»
14 years 24 days ago
Details of Formalized Relations in Feature Models Using OCL
System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging ...
Detlef Streitferdt, Matthias Riebisch, Ilka Philip...
ICTAI
2003
IEEE
14 years 23 days ago
A Cognitive Vision Platform for Automatic Recognition of Natural Complex Objects
This paper presents a generic cognitive vision platform for the automatic recognition of natural complex objects. The recognition consists of three steps : image processing for nu...
Céline Hudelot, Monique Thonnat
AP2PC
2003
Springer
14 years 22 days ago
A P2P Approach to ClassLoading in Java
The Classloader has long been one of the key extensibility points of the Java Virtual Machine architecture. It lies at the heart of many of the distributed mechanisms that have mad...
Daryl Parker, David Cleary
GECCO
2003
Springer
138views Optimization» more  GECCO 2003»
14 years 21 days ago
Emergence of Collective Behavior in Evolving Populations of Flying Agents
We demonstrate the emergence of collective behavior in two evolutionary computation systems, one an evolutionary extension of a classic (highly constrained) flocking algorithm and...
Lee Spector, Jon Klein, Chris Perry, Mark Feinstei...