2024 search results - page 77 / 405 » A Formal Model of Multi-agent Computations |
149
Voted
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
154
Voted
ICEGOV
2007
ACM
15 years 7 months ago
2007
ACM
Compared to the last decades, we have recently seen more and more governmental applications which are provided via the Internet directly to the citizens. Due to the long history o...
127
Voted
ACL
2010
15 years 1 months ago
2010
We propose CMSMs, a novel type of generic compositional models for syntactic and semantic aspects of natural language, based on matrix multiplication. We argue for the structural ...
122
Voted
ECBS
2000
IEEE
15 years 8 months ago
2000
IEEE
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...
133
Voted
ASM
1998
ASM
15 years 8 months ago
1998
ASM
This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corn...