Sciweavers

1606 search results - page 63 / 322
» Aspect Based Conceptual Modelling of Web Applications
Sort
View
FM
2009
Springer
154views Formal Methods» more  FM 2009»
13 years 5 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
DEXAW
2008
IEEE
180views Database» more  DEXAW 2008»
14 years 2 months ago
Entity Data Management in OKKAM
In the recent years, we are witnessing an increasing interest in the Semantic Web and the relevant technologies, which can have a significant impact in the enterprise environment ...
Themis Palpanas, Junaid Ahsenali Chaudhry, Perikli...
ACMICEC
2005
ACM
156views ECommerce» more  ACMICEC 2005»
14 years 1 months ago
A web services-based business interactions manager to support electronic commerce applications
Electronic commerce applications (e-commerce) need connecting technologies to support the external, agreed-upon or flexible business processes. This requires a specification of th...
Youcef Baghdadi
SIGPLAN
1998
13 years 7 months ago
Java and Distributed Object Models: An Analysis
Java has an important role in building distributed object oriented web enabled applications. In the article an analysis of two distributed object models in context of Java languag...
Marjan Hericko, Matjaz B. Juric, Ales Zivkovic, Iv...
ECRTS
2007
IEEE
14 years 2 months ago
Thermal Faults Modeling Using a RC Model with an Application to Web Farms
Today’s CPUs consume a significant amount of power and generate a high amount of heat, requiring an active cooling system to support reliable operations. In case of cooling sys...
Alexandre P. Ferreira, Daniel Mossé, Jae C....