9455 search results - page 389 / 1891 » The Modelling Language Zinc |
188
click to vote
PUC
2002
15 years 6 months ago
2002
Location models are crucial to location-aware applications. In this paper we present two approaches for modeling location information in an infrastructure-based and an ad hoc netwo...
163
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
171
click to vote
VL
2003
IEEE
16 years 4 days ago
2003
IEEE
We present a tool for component system design in the UML. The tool supports an internal process model for graphical specifications. The model is used to guarantee consistency of ...
185
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Management of dynamic processes in an important issue in rapidly changing organizations. Workflow management systems are systems that use detailed process models to drive the busin...
156
click to vote
EMNLP
2006
15 years 8 months ago
2006
In this paper we describe and evaluate several statistical models for the task of realization ranking, i.e. the problem of discriminating between competing surface realizations ge...