Sciweavers

24286 search results - page 4691 / 4858
» Research as Design-Design as Research
Sort
View
JSW
2007
102views more  JSW 2007»
15 years 7 months ago
Model-driven Engineering for Early QoS Validation of Component-based Software Systems
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
James H. Hill, Aniruddha S. Gokhale
ALIFE
2004
15 years 7 months ago
Basic Autonomy as a Fundamental Step in the Synthesis of Life
In the search for the primary roots of autonomy (a pivotal concept in Varela's comprehensive understanding of living beings), the theory of autopoiesis provided an explicit cr...
Kepa Ruiz-Mirazo, Alvaro Moreno
TVLSI
2008
139views more  TVLSI 2008»
15 years 7 months ago
Ternary CAM Power and Delay Model: Extensions and Uses
Applications in computer networks often require high throughput access to large data structures for lookup and classification. While advanced algorithms exist to speed these search...
Banit Agrawal, Timothy Sherwood
JSYML
2007
100views more  JSYML 2007»
15 years 7 months ago
Combinatorial principles weaker than Ramsey's Theorem for pairs
We investigate the complexity of various combinatorial theorems about linear and partial orders, from the points of view of computability theory and reverse mathematics. We focus ...
Denis R. Hirschfeldt, Richard A. Shore
JUCS
2007
100views more  JUCS 2007»
15 years 7 months ago
On BCK Algebras - Part I.a: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras
: Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classi...
Afrodita Iorgulescu
« Prev « First page 4691 / 4858 Last » Next »