3736 search results - page 480 / 748 » Generative Programming |
163
click to vote
ICIS
2000
15 years 7 months ago
2000
The Internet and corporate intranets provide far more information than anybody can absorb. People use search engines to find the information they require. However, these systems t...
176
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
203
click to vote
CSREAESA
2004
15 years 7 months ago
2004
The growing software content in various battery-driven embedded systems has led to significant interest in technologies for energy-efficient embedded software. While lowenergy sof...
165
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
178
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
This paper introduces architectural and interaction patterns for integrating crowdsourced human contributions directly into user interfaces. We focus on writing and editing, compl...