Sciweavers

4135 search results - page 175 / 827
» Application Modeling for the Semantic Web
Sort
View
ISORC
2005
IEEE
15 years 10 months ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
IIWAS
2008
15 years 6 months ago
Using conditional transformations for semantic user interface adaptation
The rapid growth of mobile Internet use requires highly flexible and adaptable user interfaces for web applications. Contextual data from various sources as for example device HMI...
Pascal Bihler, Merlin Fotsing, Günter Kniesel...
FLAIRS
2006
15 years 6 months ago
Supporting Systematic Usage of Context in Web Applications
Context can be seen as a paradigm aiming to improve user interaction with software. For Web applications in particular, the issues of content explosion and technological constrain...
J. Wolfgang Kaltz, Jürgen Ziegler
CASCON
2006
107views Education» more  CASCON 2006»
15 years 6 months ago
Tailoring UML activities to use case modeling for web application development
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...
Alexander Lorenz, Hans-Werner Six
ICWE
2003
Springer
15 years 10 months ago
Modelling Dynamic Personalization in Web Applications
This article presents an extension of the OO-H conceptual modelling approach to address the particulars associated with the design and specification of dynamic personalization. We...
Irene Garrigós, Jaime Gómez, Cristin...