208 search results - page 40 / 42 » Fair Model Checking with Process Counter Abstraction |
139
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
154
Voted
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
135
Voted
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a prototype implementation of an intelligent assistance architecture for data-driven simulation specialising in qualitative data in the social science...
146
click to vote
APPROX
2007
Springer
15 years 10 months ago
2007
Springer
Abstract Consider a situation where a group of agents wishes to share the costs of their joint actions, and needs to determine how to distribute the costs amongst themselves in a f...
266
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...