4502 search results - page 758 / 901 » Regular Model Checking |
128
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Buffered coscheduling is a scheduling methodology for time-sharing communicating processes in parallel and distributed systems. The methodology has two primary features: communica...
151
click to vote
DBPL
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
144
click to vote
DSOM
1999
Springer
15 years 9 months ago
1999
Springer
In this paper, we describe JAMAP, a prototype of a Web-based management platform for IP networks. It is written entirely in Java. It implements the push model to perform regular ma...
139
click to vote
EUROCRYPT
1999
Springer
15 years 9 months ago
1999
Springer
A recoding rule for exponentiation is a method for reducing the cost of the exponentiation ae by reducing the number of required multiplications. If w(e) is the (hamming) weight of...
125
click to vote
IFM
1999
Springer
15 years 9 months ago
1999
Springer
: Some of the shortcomings of using refinement alone as the means of passing from high level simple models to actual detailed implementations are reviewed. Retrenchment is presente...