4586 search results - page 408 / 918 » Computing stable models in parallel |
153
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
178
click to vote
CONCUR
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
140
click to vote
ICDCS
2010
IEEE
15 years 9 months ago
2010
IEEE
Web applications are no longer simple hyperlinked documents. They have progressively evolved to become highly complex—web pages combine content from several sources (with varyin...
132
click to vote
GCC
2003
Springer
15 years 10 months ago
2003
Springer
To solve the security of access to meta-data in computational Grids, by modifying model BLP, a secure access model named GBLP is introduced to support access control to Grid catalo...
132
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
The necklace hypercube has recently been introduced as an attractive alternative to the well-known hypercube. Previous research on this network topology has mainly focused on topo...