882 search results - page 48 / 177 » Allowing State Changes in Specifications |
180
click to vote
CHI
2011
ACM
14 years 9 months ago
2011
ACM
A user task often spans multiple heterogeneous devices, e.g., working on a PC in the office and continuing the work on a laptop or a mobile phone while commuting on a shuttle. How...
175
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
Anycast-based content delivery networks (CDNs) have many properties that make them ideal for the large scale distribution of content on the Internet. However, because routing chan...
174
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
145
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Adaptive websites usually change as effect of user navigational actions. Most current web engineering approaches (which consider personalization) allow to detect basic user browsin...
204
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...