4290 search results - page 693 / 858 » Formal Approaches to Teamwork |
199
click to vote
TABLEAUX
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
168
click to vote
WEBI
2007
Springer
16 years 18 days ago
2007
Springer
The size of the Web and its increase rate made it cumbersome to locate high precision results to a requested piece of information. The Semantic Web provides a framework and a set ...
188
click to vote
ACSD
2006
IEEE
16 years 17 days ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
165
click to vote
IAT
2006
IEEE
16 years 17 days ago
2006
IEEE
A Multi-agent system (MAS) is an open distributed system of agents. The agents in a MAS may form certain specific groups, where agents in each group jointly engage in solving a s...
163
click to vote
SCAM
2006
IEEE
16 years 15 days ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...