112 search results - page 6 / 23 » A Novel Implementation of the Extended Andorra Model |
TOSEM
2010
13 years 7 months ago
2010
Nu model provides a higher level of abstraction compared to traditional object-oriented ILs, making it easier to e ciently support dynamic AO features. We demonstrate these bene ts...
SOPR
2002
13 years 8 months ago
2002
Good project scheduling is an essential, but extremely hard task in software management practice. In a software project, the time needed to complete some development activity is d...
CVPR
2011
IEEE
13 years 4 months ago
2011
IEEE
In this paper, we design a novel MRF framework which is called Non-Local Range Markov Random Field (NLRMRF). The local spatial range of clique in traditional MRF is extended to th...
FOSSACS
2011
Springer
13 years 1 days ago
2011
Springer
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
JCS
2010
13 years 7 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...