12981 search results - page 567 / 2597 » Model Checking (Abstract) |
179
click to vote
ICCS
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Publish/subscribe model is appropriate in many push based data dissemination applications. This paper presents cost model for publish/subscribe systems, analyze its perfo...
166
click to vote
AC
2003
Springer
16 years 7 days ago
2003
Springer
Abstract. These notes form the basis of four lectures given at the Summer School on Generic Programming, Oxford, UK, which took place dur
164
click to vote
AOSE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
186
click to vote
GECCO
2000
Springer
15 years 10 months ago
2000
Springer
ected Abstracts for the First International Workshop on Learning Classifier System (IWLCS92), 1992. October 6
176
click to vote
SCAI
2008
15 years 8 months ago
2008
Abstract. Maritime situation awareness is of importance in a lot of areas