2896 search results - page 504 / 580 » Curricula Modeling and Checking |
161
click to vote
FSEN
2007
Springer
15 years 12 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
155
click to vote
ICCS
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. This paper presents a prototype implementation of an intelligent assistance architecture for data-driven simulation specialising in qualitative data in the social science...
160
click to vote
ICLP
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
169
click to vote
LCPC
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...
162
click to vote
LCPC
2007
Springer
15 years 12 months ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...