69 search results - page 14 / 14 » mscs 2006 |
MSCS
2006
13 years 10 months ago
2006
This paper revisits the authors' notion of a differential category from a different perspective. A differential category is an additive symmetric monoidal category with a como...
SCESM
2006
ACM
14 years 4 months ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
AICT
2006
IEEE
14 years 5 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— In this paper, we study the survivability problem in hierarchical wireless access networks with dual-homed end users, who are connected to two base stations (BSs), a primary BS...