967 search results - page 137 / 194 » Automated benchmarking and analysis tool |
199
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
150
click to vote
ISCIS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
151
click to vote
MKM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Automated knowledge management techniques critically depend on the availability of semantically enhanced documents which are hard to come by in practice. Starting from a ...
143
click to vote
JCDL
2003
ACM
15 years 11 months ago
2003
ACM
Protein association discovery can directly contribute toward developing protein pathways; hence it is a significant problem in bioinformatics. LUCAS (Library of User-Oriented Conc...
166
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...