3776 search results - page 689 / 756 » Partition-Based Logical Reasoning |
ISM
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we show how an interactive system can be distributed among several peer devices. By taking advantage of the current trend towards ambient intelligent environments, w...
KBSE
2005
IEEE
14 years 1 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...
ASP
2005
Springer
14 years 1 months ago
2005
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...
CIKM
2005
Springer
14 years 1 months ago
2005
Springer
Faced with growing knowledge management needs, enterprises are increasingly realizing the importance of seamlessly integrating critical business information distributed across bot...