2896 search results - page 504 / 580 » Curricula Modeling and Checking |
168
click to vote
FSEN
2007
Springer
16 years 10 days 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...
159
click to vote
ICCS
2007
Springer
16 years 9 days 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...
167
click to vote
ICLP
2007
Springer
16 years 9 days 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)...
176
click to vote
LCPC
2007
Springer
16 years 9 days 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, ...
165
click to vote
LCPC
2007
Springer
16 years 9 days 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...