10707 search results - page 1827 / 2142 » Designing executable abstractions |
214
click to vote
AOSE
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...
167
click to vote
APPROX
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. We give a generic construction of an optimal hitting set generator (HSG) from any good “reconstructive” disperser. Past constructions of optimal HSGs have been based ...
184
click to vote
ATVA
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
212
click to vote
AVBPA
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. We propose a relevance feedback system for retrieving a mental face picture from a large image database. This scenario differs from standard image retrieval since the ta...
178
click to vote
BIRTHDAY
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...