Sciweavers

1278 search results - page 175 / 256
» Using ORM to Model Web Systems
Sort
View
ICAC
2009
IEEE
16 years 28 days ago
AdaptGuard: guarding adaptive systems from instability
In this paper, we design, implement and evaluate AdaptGuard, a software service for guarding adaptive systems, such as QoS-adaptive servers, from instability caused by software an...
Jin Heo, Tarek F. Abdelzaher
WWW
2009
ACM
16 years 6 months ago
A flight meta-search engine with metamorph
We demonstrate a flight meta-search engine that is based on the Metamorph framework. Metamorph provides mechanisms to model web forms together with the interactions which are need...
Bernhard Krüpl, Wolfgang Holzinger, Yansen Da...
FOSSACS
2005
Springer
15 years 11 months ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
IAT
2009
IEEE
15 years 9 months ago
Bee Hive at Work: Story Tracking Case Study
—Information can change rapidly on the web. For example, news may hint some new story starts to develop. Many more news related to the original event begin to pour in the web. Im...
Pavol Návrat, Lucia Jastrzembska, Tomas Jel...
WWW
2008
ACM
16 years 6 months ago
Mashups for semantic user profiles
In this paper, we discuss challenges and provide solutions for capturing and maintaining accurate models of user profiles using semantic web technologies, by aggregating and shari...
Riddhiman Ghosh, Mohamed Dekhil