Sciweavers

2496 search results - page 128 / 500
» Error-detecting properties of languages
Sort
View
86
Voted
FUIN
2002
99views more  FUIN 2002»
15 years 16 days ago
On Interacting Automata with Limited Nondeterminism
One-way and two-way cellular language acceptors with restricted nondeterminism are investigated. The number of nondeterministic state transitions is regarded as limited resource wh...
Thomas Buchholz, Andreas Klein, Martin Kutrib
117
Voted
CLIMA
2009
14 years 10 months ago
Operational Semantics for BDI Modules in Multi-agent Programming
This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implem...
Mehdi Dastani, Bas R. Steunebrink
133
Voted
EACL
2009
ACL Anthology
14 years 10 months ago
Discovering Global Patterns in Linguistic Networks through Spectral Analysis: A Case Study of the Consonant Inventories
Recent research has shown that language and the socio-cognitive phenomena associated with it can be aptly modeled and visualized through networks of linguistic entities. However, ...
Animesh Mukherjee, Monojit Choudhury, Ravi Kannan
230
Voted
FM
2011
Springer
357views Formal Methods» more  FM 2011»
14 years 4 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
PPPJ
2009
ACM
15 years 7 months ago
Three approaches to object evolution
Dynamic object reclassification allows changes to the type of an object at runtime. This paper makes the case for object evolution, a restriction of general reclassification by ...
Tal Cohen, Joseph Gil