Sciweavers

3429 search results - page 282 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
126
Voted
SIGCOMM
2009
ACM
15 years 11 months ago
A hierarchical model for BGP routing policies
BGP routing policies are mainly used by network operators to enforce business relationships between Autonomous Systems (AS), and to prefer some routes over others. In this paper, ...
Laurent Vanbever, Bruno Quoitin, Olivier Bonaventu...
BTW
2003
Springer
92views Database» more  BTW 2003»
15 years 9 months ago
A Logical, Transparent Model for Querying Linked XML Documents
Abstract:The W3C XML Linking Language (XLink) provides a powerful means for interlinking XML documents all over the world. While the effects when browsing through linked XML docume...
Wolfgang May, Dimitrio Malheiro
136
Voted
ATAL
2007
Springer
15 years 10 months ago
ARTS: agent-oriented robust transactional system
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
Mingzhong Wang, Amy Unruh, Kotagiri Ramamohanarao
KBSE
2003
IEEE
15 years 9 months ago
A Model-Driven Approach to Non-Functional Analysis of Software Architectures
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
James Skene, Wolfgang Emmerich
ISOLA
2010
Springer
15 years 2 months ago
Modeling and Reasoning about Service Behaviors and Their Compositions
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
Aida Causevic, Cristina Cerschi Seceleanu, Paul Pe...