504 search results - page 9 / 101 » Complexity Properties of Restricted Abstract Argument System... |
AIME
2009
Springer
13 years 8 months ago
2009
Springer
Abstract The volume and complexity of knowledge produced by medical research calls for the development of technology for automated management and analysis of such knowledge. In thi...
ICSOFT
2008
13 years 9 months ago
2008
One of the primary benefits of Service Oriented Architecture (SOA) [1] is the ability to compose applications, processes or more complex services from other services. As the comple...
ICALP
2003
Springer
14 years 25 days ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
ECBS
2006
IEEE
13 years 11 months ago
2006
IEEE
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...
PODC
1990
ACM
13 years 11 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...