1816 search results - page 151 / 364 » Case study in modeling and simulation validation methodology |
152
click to vote
DOLAP
2005
ACM
15 years 6 months ago
2005
ACM
Several surveys indicate that a significant percentage of data warehouses fail to meet business objectives or are outright failures. One of the reasons for this is that requireme...
222
Voted
CHI
2008
ACM
16 years 5 months ago
2008
ACM
Many popular web browsers now include active phishing warnings since research has shown that passive warnings are often ignored. In this laboratory study we examine the effectiven...
117
click to vote
TWC
2008
15 years 4 months ago
2008
Abstract--Push-to-talk over Cellular (PoC) is a "walkietalkie"-like service designed for mobile networks. In this service, the speak permission is arbitrated through the ...
144
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
182
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...