2409 search results - page 111 / 482 » Logical systems for structured specifications |
152
click to vote
CTRS
1987
15 years 9 months ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
126
click to vote
CONCUR
1990
Springer
15 years 10 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
158
click to vote
MKM
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
152
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
165
Voted
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area...