Sciweavers

4540 search results - page 755 / 908
» Evolving the
Sort
View
ICSOC
2009
Springer
13 years 8 months ago
Transformation of Intermediate Nonfunctional Properties for Automatic Service Composition
Service-oriented computing provides an evolving paradigm for flexible and scalable applications of open systems. Web services and their automatic composition are in the mainstream...
Haruhiko Takada, Incheon Paik
ICWN
2009
13 years 8 months ago
AReIT: Adaptive Reliable Information Transport Protocol for Wireless Sensor Networks
Abstract-- The reliable delivery of services in service oriented architectures often entails the underlying basis of having well structured system and communication network models....
Faisal Karim Shaikh, Abdelmajid Khelil, Neeraj Sur...
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
13 years 8 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
CAI
2010
Springer
13 years 7 months ago
SMA - The Smyle Modeling Approach
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...
CORR
2010
Springer
126views Education» more  CORR 2010»
13 years 7 months ago
Computerized adaptive testing: implementation issues
Abstract. One of the fastest evolving field among teaching and learning research is students' performance evaluation. Computer based testing systems are increasingly adopted b...
Margit Antal, Levente Erös, Attila Imre