1286 search results - page 154 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
94
Voted
ISORC
2008
IEEE
15 years 7 months ago
2008
IEEE
The Real-time Specification for Java extends the Java platform to support real-time processing and introduces a region-based memory model, called scoped memory, which side-steps ...
86
Voted
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
102
click to vote
HPCA
2007
IEEE
16 years 1 months ago
2007
IEEE
We apply a scalable approach for practical, comprehensive design space evaluation and optimization. This approach combines design space sampling and statistical inference to ident...
142
click to vote
ICSOC
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we present an Open Grid Services Architecture (OGSA)-based decentralized allocation enforcement system, developed with an emphasis on a consistent data model and ea...
125
click to vote
CASC
2006
Springer
15 years 4 months ago
2006
Springer
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...