71 search results - page 7 / 15 » Executable structural operational semantics in Maude |
SEMWEB
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. This paper addresses the problem of building scalable semantic overlay networks. Our approach follows the principle of data independence by separating a logical layer, th...
82
Voted
SNPD
2003
14 years 11 months ago
2003
This paper presents a new functional parallel language: Minimally Synchronous Parallel ML. The execution time can then be estimated and dead-locks and indeterminism are avoided. I...
ACSD
2010
IEEE
14 years 7 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
POPL
2010
ACM
15 years 6 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
113
click to vote
CANS
2006
Springer
15 years 1 months ago
2006
Springer
Software watermarking is a new research area that aims at providing copyright protection for commercial software. It minimizes software piracy by hiding copyright signatures inside...