Sciweavers

28244 search results - page 365 / 5649
» System Design for Flexibility
Sort
View
POPL
2010
ACM
16 years 4 months ago
Dependent types and program equivalence
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
Jianzhou Zhao, Limin Jia, Stephanie Weirich, Vilhe...
ICST
2008
IEEE
16 years 1 months ago
Test-Driven Assessment of Access Control in Legacy Applications
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...
Yves Le Traon, Tejeddine Mouelhi, Alexander Pretsc...
VISUALIZATION
1999
IEEE
15 years 11 months ago
Visualization of Conflicts and Resolutions in a "Free Flight" Scenario
"Free Flight" will change today's air traffic control system by giving pilots increased flexibility to choose and modify their routes in real time, reducing costs a...
Ronald Azuma, Howard Neely, Michael Daily, Mario C...
SIMUTOOLS
2008
15 years 8 months ago
SIMCAN: a SIMulator framework for computer architectures and storage networks
This paper presents an OMNeT-based Framework to simulate large complex storage networks, with its corresponding underlying subsystems (I/O, Networking, etc.). With this Framework,...
Alberto Nuñez, Javier Fernández, Jos...
ALIFE
2007
15 years 7 months ago
Evolving Virtual Creatures and Catapults
We present a system that can evolve the morphology and the controller of virtual walking and block-throwing creatures (catapults) using a genetic algorithm. The system is based on ...
Nicolas Chaumont, Richard Egli, Christoph Adami