3388 search results - page 413 / 678 » Type-theoretic design patterns |
167
click to vote
DFG
2007
Springer
16 years 25 days ago
2007
Springer
: In urban planning, sophisticated simulation models are key tools to estimate future population growth for measuring the impact of planning decisions on urban developments and the...
165
click to vote
ESOP
2007
Springer
16 years 24 days ago
2007
Springer
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for...
204
click to vote
IBPRIA
2007
Springer
16 years 24 days ago
2007
Springer
Pedestrian detection from images of the visible spectrum is a high relevant area of research given its potential impact in the design of pedestrian protection systems. There are ma...
206
click to vote
ICWE
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we propose a framework for the creation of adaptive portal solutions for the Semantic Web. It supports different target domains in a single portal instance. We propo...
186
click to vote
OOPSLA
2007
Springer
16 years 23 days ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...