3564 search results - page 165 / 713 » Evaluating a Formal Modelling Language |
133
Voted
AAAI
2008
15 years 6 months ago
2008
Partially Observable Markov Decision Processes have been studied widely as a model for decision making under uncertainty, and a number of methods have been developed to find the s...
149
Voted
PDPTA
1996
15 years 5 months ago
1996
A new approach to monitoring the runtime behaviour of parallel programs will be presented. Our approach provides a speci cation language to build measurement models which describe...
141
Voted
INLG
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we present a reference generation model based on Reference Domain Theory which gives a dynamic account of reference. This reference model assumes that each referring...
113
Voted
INTERWORKING
2000
15 years 7 months ago
2000
In a packet switching based scenario, optical technologies can not completely overcome the problem of insufficient network capacity, due to limitations produced by the presence of ...
142
Voted
SDL
2003
15 years 5 months ago
2003
Network on Chip (NoC) is a new paradigm for designing large and complex systems on chips (SoCs). In this paradigm, a packet switched network is provided for on-chip communication. ...