Sciweavers

9974 search results - page 1368 / 1995
» Software Interconnection Models
Sort
View
ICWE
2005
Springer
16 years 22 days ago
MDA Transformations Applied to Web Application Development
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...
Santiago Meliá, Andreas Kraus, Nora Koch
MIDDLEWARE
2005
Springer
16 years 21 days ago
Managing the follow-me semantics to build large-scale pervasive applications
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
Iara Augustin, Adenauer C. Yamin, Cláudio F...
EMSOFT
2004
Springer
16 years 18 days ago
Multiple process execution in cache related preemption delay analysis
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...
Jan Staschulat, Rolf Ernst
FAABS
2004
Springer
16 years 18 days ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
DSN
2003
IEEE
16 years 15 days ago
A User-Perceived Availability Evaluation of a Web Based Travel Agency
A hierarchical modeling framework for the dependability evaluation of Internet-based applications is presented and illustrated on a travel agency example. Modeling is carried out ...
Mohamed Kaâniche, Karama Kanoun, Magnos Mart...
« Prev « First page 1368 / 1995 Last » Next »