20017 search results - page 686 / 4004 » Using personas effectively |
192
click to vote
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
202
click to vote
CW
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper aims to study how to gain the consistency of the state in a DVE (Distributed Virtual Environment) with lag, under the condition of peer-to-peer architecture. That is, w...
187
click to vote
ER
2006
Springer
15 years 11 months ago
2006
Springer
An important milestone in the evolution of the Web is the Semantic Web: a Web in which the semantics of the available content and functionality is made explicit. Web design methods...
147
click to vote
ASPDAC
2001
ACM
15 years 11 months ago
2001
ACM
ct,. In this paper we study the delay associated with transmission of data through busses. Previous work in this area has presented models for delay assuming a distributed wire mqd...
225
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...