2317 search results - page 167 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
WWW
2005
ACM
14 years 9 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
FDL
2008
IEEE
13 years 8 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
WSC
2008
13 years 10 months ago
2008
This paper proposes an analytical model useful in the design of conveyor-based Automated Material Handling Systems (AMHS) to support semiconductor manufacturing. The objective is ...
WWW
2010
ACM
13 years 8 months ago
2010
ACM
Popularity of content in social media is unequally distributed, with some items receiving a disproportionate share of attention from users. Predicting which newly-submitted items ...
IUI
2009
ACM
14 years 5 months ago
2009
ACM
The specification of model adaptation and generation rules is a topic of great interest for the user interface development community, since there are more and more approaches supp...