Sciweavers

3013 search results - page 189 / 603
» Context-Oriented Domain Analysis
Sort
View
188
Voted
CN
2000
84views more  CN 2000»
15 years 7 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 20 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 9 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...
230
Voted
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
183
Voted
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