2409 search results - page 8 / 482 » Logical systems for structured specifications |
IJCAI
1993
13 years 8 months ago
1993
RV
2010
Springer
13 years 5 months ago
2010
Springer
ISB
2002
13 years 7 months ago
2002
Data Mining and Knowledge Discovery techniques proved to be efficient tools for variety of complex tasks in biology including DNA research. This paper presents implementation of th...
CLIMA
2004
13 years 8 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
ENTCS
2006
13 years 7 months ago
2006
We introduce a simple graph logic that supports specification of Quality of Service (QoS) properties of applications. The idea is that we are not only interested in representing w...