Sciweavers

1597 search results - page 280 / 320
» A Design Method for Object-Oriented Programming
Sort
View
CCS
2004
ACM
15 years 8 months ago
Lessons learned using alloy to formally specify MLS-PCA trusted security architecture
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
Brant Hashii
ER
2004
Springer
179views Database» more  ER 2004»
15 years 8 months ago
XSLTGen: A System for Automatically Generating XML Transformations via Semantic Mappings
Abstract. XML is rapidly emerging as a dominant standard for representing and exchanging information. The ability to transform and present data in XML is crucial and XSLT is a rela...
Stella Waworuntu, James Bailey
GECCO
2004
Springer
106views Optimization» more  GECCO 2004»
15 years 8 months ago
Evolving En-Route Caching Strategies for the Internet
Nowadays, large distributed databases are commonplace. Client applications increasingly rely on accessing objects from multiple remote hosts. The Internet itself is a huge network ...
Jürgen Branke, Pablo Funes, Frederik Thiele
GECCO
2004
Springer
327views Optimization» more  GECCO 2004»
15 years 8 months ago
Evolution, Robustness, and Adaptation of Sidewinding Locomotion of Simulated Snake-Like Robot
Inspired by the efficient method of locomotion of the rattlesnake Crotalus cerastes, the objective of this work is automatic design through genetic programming, of the fastest poss...
Ivan Tanev, Thomas S. Ray, Andrzej Buller
SCOPES
2004
Springer
15 years 8 months ago
Compact Procedural Implementation in DSP Software Synthesis Through Recursive Graph Decomposition
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
Ming-Yung Ko, Praveen K. Murthy, Shuvra S. Bhattac...