13791 search results - page 222 / 2759 » Modeling Web Interactions |
154
click to vote
IEE
2007
15 years 6 months ago
2007
: In recent years, we have witnessed how the Web Engineering community has started using the standard unified modelling language (UML) notation, techniques and supporting tools fo...
177
click to vote
ICWE
2007
Springer
16 years 18 days ago
2007
Springer
In recent years, innovation in technologies such as web services, business process automation, etc., have motivated a new paradigm in the application development field to appear, k...
149
click to vote
INTERACT
2003
15 years 7 months ago
2003
: In one study, people are observed to keep web information for later use through many different methods including the use of Bookmarks (or Favorites), self-addressed email, hand-w...
204
click to vote
INTERACT
2003
15 years 7 months ago
2003
: In this paper we propose and evaluate interfaces for presenting the results of web searches. Sentences, taken from the top retrieved documents, are used as fine-grained represent...
163
click to vote
KBSE
2005
IEEE
16 years 1 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...