2944 search results - page 161 / 589 » On Well Quasi-orders on Languages |
106
Voted
FORMATS
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
89
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
We investigate the decidability and complexity of various model checking problems over one-counter automata. More specifically, we consider succinct one-counter automata, in which...
108
Voted
AGENTS
2001
Springer
15 years 5 months ago
2001
Springer
The specific organization used by a multi-agent system is crucial for its effectiveness and efficiency. In dynamic environments, or when the objectives of the system shift, the ...
103
Voted
UM
2001
Springer
15 years 5 months ago
2001
Springer
This paper describes an integrated approach for interpreting a user’s responses and generating replies in the framework of a WWW-based Bayesian argumentation system. Our system c...
103
click to vote
POPL
1998
ACM
15 years 5 months ago
1998
ACM
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...