126 search results - page 20 / 26 » Using Formal Tools to Study Complex Circuits Behaviour |
134
Voted
SAC
2002
ACM
15 years 2 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
236
Voted
ICDE
2003
IEEE
16 years 4 months ago
2003
IEEE
Intuitively, data management and data integration tools should be well-suited for exchanging information in a semantically meaningful way. Unfortunately, they suffer from two sign...
152
Voted
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
113
Voted
TOSEM
1998
15 years 2 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
132
Voted
AAAI
2008
15 years 5 months ago
2008
This paper studies commitments in multiagent systems. A dialectical commitment corresponds to an agent taking a position about a putative fact, including for the sake of argument....