5378 search results - page 939 / 1076 » Base Logics in Argumentation |
ICPP
2005
IEEE
14 years 2 months ago
2005
IEEE
Structured P2P overlay networks based on a consistent hashing function have an aftermath load balance problem that needs to be dealt with. A load balancing method should take into...
ISDA
2005
IEEE
14 years 2 months ago
2005
IEEE
Crew grouping is an important problem and formulating a good solution always involves many challenges. For example, grouping soldiers intelligently to tank combat units, we should...
ISQED
2005
IEEE
14 years 2 months ago
2005
IEEE
As technology continues to scale beyond 100nm, there is a significant increase in performance uncertainty of CMOS logic due to process and environmental variations. Traditional c...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
Traits are basically mixins or interfaces but with method bodies. In languages that support traits, classes are composed out of traits. There are two main advantages with traits. ...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...