696 search results - page 96 / 140 » Explaining abstract counterexamples |
113
click to vote
LCTRTS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated...
134
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
iven software product lines combine the abstraction capability of Model Driven Software Development (MDSD) and the variability management capability of Software Product Line Engin...
118
click to vote
SAC
2004
ACM
15 years 8 months ago
2004
ACM
Engineering adaptive Web applications implies the development of content that can be automatically adjusted to varying client devices and user preferences. To meet this requiremen...
153
click to vote
AFP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
117
Voted
APWEB
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Spatial data has now been used extensively in the Web environment, providing online customized maps and supporting map-based applications. The full potential of Web-based...