3215 search results - page 54 / 643 » Content Models with Attitude |
STTT
2010
14 years 6 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
WWW
2005
ACM
16 years 15 days ago
2005
ACM
This paper investigates basic research issues that need to be addressed for developing an architecture that enables repurposing of learning objects in a flexible way. Currently, t...
DALT
2004
Springer
15 years 5 months ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...
PE
2008
Springer
14 years 11 months ago
2008
Springer
In this paper, an infinite-buffer fluid queue driven by an M/G/1 queue is discussed. The Laplace transform of the distribution of the stationary buffer content is expressed throug...
ADBIS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Database modeling is based on the assumption of a high regularity of its application areas, an assumption which applies to both the structure of data and the behavior of ...