3564 search results - page 189 / 713 » Evaluating a Formal Modelling Language |
169
click to vote
ICNP
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we consider a proportional delay model for Internet differentiated services. Under this model, an ISP can control the “spacing” of waiting times between differe...
151
click to vote
DOCENG
2006
ACM
16 years 12 days ago
2006
ACM
With the development of variable-data-driven digital presses where each document printed is potentially unique there is a need for pre-press optimization to identify material that...
172
click to vote
ISOLA
2007
Springer
16 years 18 days ago
2007
Springer
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: ...
196
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
We propose a multi-dimensional language called nD-SQL with the following features: (i) nD-SQL supports queries that interoperate amongst multiple relational sources with heterogen...
163
click to vote
PEPM
2007
ACM
16 years 17 days ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...