3515 search results - page 672 / 703 » On the semantics of Strategy Logic |
174
click to vote
IWIA
2005
IEEE
16 years 13 days ago
2005
IEEE
Malware defenses have primarily relied upon intrusion fingerprints to detect suspicious network behavior. While effective for discovering computers that are already compromised,...
177
click to vote
SEUS
2005
IEEE
16 years 13 days ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...
198
click to vote
ASPDAC
2005
ACM
16 years 13 days ago
2005
ACM
The progressive trend of fabrication technologies towards the nanometer regime has created a number of new physical design challenges for computer architects. Design complexity, u...
221
click to vote
ARGMAS
2004
Springer
16 years 8 days ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
182
click to vote
OOPSLA
2004
Springer
16 years 6 days ago
2004
Springer
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method ...