2813 search results - page 118 / 563 » Formalizing Architectural Connection |
135
click to vote
CCIA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper, we describe a novel agent architecture for normative multiagent systems which is based on multi-context systems. It models the three modalities of Rao and ...
118
click to vote
ECTEL
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. There are specific sectors of the economy that can benefit from satellite-based tele-education. Areas, such as maritime and agriculture, share common needs for both broad...
124
click to vote
TPHOL
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
117
Voted
ANLP
2000
15 years 6 months ago
2000
Sophisticated grammar formalisms, such as LFG, allow concisely capturing complex linguistic phenomena. The powerful operators provided by such formalisms can however introduce spu...
130
click to vote
MICRO
2010
IEEE
15 years 2 months ago
2010
IEEE
We propose an architectural design methodology for designing formally verifiable cache coherence protocols, called Fractal Coherence. Properly designed to be fractal in behavior, t...