Sciweavers

3013 search results - page 189 / 603
» Context-Oriented Domain Analysis
Sort
View
CN
2000
84views more  CN 2000»
15 years 6 months ago
Persistent route oscillations in inter-domain routing
Hop-by-hop inter-domain routing protocols, such as BGP and IDRP, use independent route selection to realize domains' local policies. A domain chooses its routes based on path...
Kannan Varadhan, Ramesh Govindan, Deborah Estrin
DSVIS
2005
Springer
16 years 1 days ago
Formalising Performative Interaction
Abstract. In this paper we attempt to formalise some of the basic attributes of performative interaction against a background of sociological analysis in order to better understand...
Alan J. Dix, Jennifer G. Sheridan, Stuart Reeves, ...
ATAL
2006
Springer
15 years 8 months ago
Camera-based observation of football games for analyzing multi-agent activities
This paper describes a camera-based observation system for football games that is used for the automatic analysis of football games and reasoning about multi-agent activity. The o...
Michael Beetz, Nico von Hoyningen-Huene, Jan Bando...
VMCAI
2012
Springer
14 years 2 months ago
Ideal Abstractions for Well-Structured Transition Systems
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
Damien Zufferey, Thomas Wies, Thomas A. Henzinger
ICSR
2009
Springer
16 years 1 months ago
Extending FeatuRSEB with Concepts from Systems Engineering
FeatuRSEB is a method for domain modeling of software system families using the industry standard notation of the Unified Modeling Language. FeatuRSEB/Sys is an extension of FeatuR...
John M. Favaro, Silvia Mazzini