Sciweavers

5196 search results - page 220 / 1040
» State of Application Assessment
Sort
View
KBSE
2009
IEEE
15 years 10 months ago
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
SIGMOD
2005
ACM
108views Database» more  SIGMOD 2005»
15 years 9 months ago
A high-performance, transactional filestore for application servers
There is a class of data, including messages and business workflow state, for which conventional monolithic databases are less than ideal. Performance and scalability of Applicati...
Bill Gallagher, Dean Jacobs, Anno Langen
ISPDC
2003
IEEE
15 years 9 months ago
A Java Middleware Platform for Resource-Aware Distributed Applications
This paper reports the development of D-RAJE (Distributed Resource-Aware Java Environment), a Java-based middleware platform that makes it possible to model and to monitor resourc...
Frédéric Guidec, Yves Mahéo, ...
FASE
2003
Springer
15 years 9 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
PDPTA
2003
15 years 5 months ago
Disconnection Metadata for Distributed Applications in Mobile Environments
The need to continue to work in a mobile environment raises the problem of data availability in the presence of disconnections. Our approach aiming at solving this problem is to m...
Nabil Kouici, Denis Conan, Guy Bernard