4008 search results - page 367 / 802 » An expressive language of signatures |
173
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
204
click to vote
ESOP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
175
click to vote
FLOPS
2004
Springer
16 years 6 days ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
176
click to vote
HSNMC
2004
Springer
16 years 6 days ago
2004
Springer
Network management is an area where many different technologies coexist. Several languages are used to define the information to be managed, which are specific of each management m...
167
click to vote
ISCIS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a performance modelling case study of a distributed multi-player game expressed in the PEPA nets modelling language. The case study provides a modern complex d...