Sciweavers

3908 search results - page 153 / 782
» A model for service-oriented communication systems
Sort
View
DATE
2008
IEEE
102views Hardware» more  DATE 2008»
16 years 1 months ago
Semantics for Model-Based Validation of Continuous/Discrete Systems
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...
Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicoles...
ISCC
2002
IEEE
15 years 11 months ago
Analyzing quality of service of GPRS network systems from a user's perspective
With reference to the General Packet Radio Service (GPRS), an extension of the Global System Mobile Communication (GSM) addressing packetoriented traffic, this paper contributes t...
Stefano Porcarelli, Felicita Di Giandomenico, Andr...
BIS
2008
174views Business» more  BIS 2008»
15 years 8 months ago
Web2Train: a Design Model for Corporate e-Learning Systems
Web2.0 has revolutionized the way we use the Web by opening the doors of collaborative learning and direct communication and making the web an open source for learning and exchangi...
Katerina Papanikolaou, Stephanos Mavromoustakos
ENTCS
2006
135views more  ENTCS 2006»
15 years 6 months ago
Coordination Models Based on a Formal Model of Distributed Object Reflection
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
Carolyn L. Talcott
CSREAESA
2008
15 years 8 months ago
A Middleware for Model-Based Embedded Systems
To deal with the increasing complexity of embedded real-time systems the model-driven development approach has proven to be beneficial. The reduction of complexity achieved by the ...
Wolfgang Haberl, Jan Birke, Uwe Baumgarten