2448 search results - page 176 / 490 » The Octahedron Abstract Domain |
WISTP
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. The distribution of virtual goods like multimedia data relies on the trustworthiness of the distribution system. Recent concepts for the distribution based on peer to pee...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
The ability of logic transformations to enhance safety property checking has been well-established, and many industrial-strength verification solutions accordingly rely ariety of...
EUROMICRO
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Service dependency management in serviceoriented component platforms is described with languages, which cannot be easily adapted to domain-specific requirements. This p...
ICTAI
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—There already exist some links between argumentation and game theory. For instance, dynamic games can be used for simulating interactions between agents in an argumentat...
ICCBR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Ambient intelligent systems are defined as being able to perceive their environment, being aware of the presence of people and other agents, and respond intelligently to...