Sciweavers

351 search results - page 17 / 71
» A Model-Based Approach to Supporting Configuration in Ubiqui...
Sort
View
ENTCS
2008
118views more  ENTCS 2008»
13 years 8 months ago
The STSLib Project: Towards a Formal Component Model Based on STS
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
Fabrício Fernandes, Jean-Claude Royer
AISS
2010
112views more  AISS 2010»
13 years 5 months ago
A QoS-based P2P Streaming for Ubiquitous Personal IPTV
In this paper, a P2P(Peer-to-Peer) streaming approach is proposed for the implementation of ubiquitous personal IPTV systems which allow any Internet users with proper network con...
Seungchul Park
FMCO
2003
Springer
188views Formal Methods» more  FMCO 2003»
14 years 1 months ago
Consistency Management Within Model-Based Object-Oriented Development of Components
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
Jochen Malte Küster, Gregor Engels
FASE
2003
Springer
14 years 1 months ago
Model-Based Development of Web Applications Using Graphical Reaction Rules
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
Reiko Heckel, Marc Lohmann
IDMS
2001
Springer
133views Multimedia» more  IDMS 2001»
14 years 27 days ago
An Access Control Architecture for Metropolitan Area Wireless Networks
This paper introduces a novel access control architecture for publicly accessible, wireless networks. The architecture was designed to address the requirements obtained from a case...
Stefan Schmid, Joe Finney, Maomao Wu, Adrian Frida...