3827 search results - page 407 / 766 » The Epsilon Generation Language |
164
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
188
click to vote
LATA
2010
Springer
16 years 1 months ago
2010
Springer
We extend stochastic context-free grammars such that the probability of applying a production can depend on the length of the subword that is generated from the application and sho...
136
click to vote
SCAM
2007
IEEE
16 years 1 months ago
2007
IEEE
ames make or break abstractions: good ones communicate the intention of the method, whereas bad ones cause confusion and frustration. The task of naming is subject to the whims an...
195
click to vote
FDL
2006
IEEE
16 years 25 days ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
160
click to vote
VL
2006
IEEE
16 years 23 days ago
2006
IEEE
Although researchers have developed several ways to reason about the location of faults in spreadsheets, no single form of reasoning is without limitations. Multiple types of erro...