5639 search results - page 954 / 1128 » Timed Abstract Non-interference |
119
click to vote
AAMAS
2002
Springer
15 years 1 months ago
2002
Springer
Abstract. Open systems are becoming increasingly important in a variety of distributed, networked computer applications. Their characteristics, such as agent diversity, heterogenei...
131
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Abstract -- The development of cost-effective highperformance parallel computing on multi-processor supercomputers makes it attractive to port excessively time consuming simulation...
101
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. This paper presents two different efficiency-enhancement techniques for probabilistic model building genetic algorithms. The first technique proposes the use of a mutatio...
114
click to vote
CG
2002
Springer
15 years 1 months ago
2002
Springer
Abstract. The paper introduces a new proof-number (PN) search algorithm, called PDS-PN. It is a two-level search, which performs at the first level a depth-first Proof-number and D...
152
click to vote
CJ
2002
15 years 1 months ago
2002
monitoring indicators at different levels of abstraction. At the application level, it instruments the Java Virtual Machine (JVM) to notify several different types of events trigge...