Sciweavers

901 search results - page 71 / 181
» Engineering Emergence
Sort
View
EMSOFT
2011
Springer
12 years 9 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger
IADIS
2003
13 years 11 months ago
Developing Seamless Discovery of Scholarly and Trade Journal Resources via OAI and RSS
The usefulness of online information such as e-publishing and timely notification on the latest scientific or professional news has been widely accepted. However, access to such v...
Santiago Chumbe, Roddy MacLeod
MOMPES
2008
IEEE
14 years 4 months ago
Separation of Distributed Real-Time Embedded Concerns with Theme/UML
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...
Cormac Driver, Vinny Cahill, Siobhán Clarke
WWW
2005
ACM
14 years 3 months ago
An economic model of the worldwide web
: We believe that much novel insight into the worldwide web can be obtained from taking into account the important fact that it is created, used, and run by selfish optimizing agen...
Georgios Kouroupas, Elias Koutsoupias, Christos H....
UPP
2004
Springer
14 years 3 months ago
Overview of Generative Software Development
Abstract. System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing the variabilities among them in a systematic way. In...
Krzysztof Czarnecki