292 search results - page 38 / 59 » Reactive Context-Aware Programming |
TACAS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
ICALP
2010
Springer
14 years 10 days ago
2010
Springer
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....
IFIP
1999
Springer
13 years 11 months ago
1999
Springer
Supply Chain Management (SCM) plans and controls the production over a group of autonomous enterprises. Process-oriented design is used to eliminate inefficiencies of the chain on...
UM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. A good way to help users finding relevant items on document platforms consists in suggesting content in accordance with their preferences. When implementing such a recom...
ISWC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes our first experiments in developing kinetic electronic garments, within the context of fashion and personal expression. We have integrated the shape memory al...