6704 search results - page 272 / 1341 » Testing Scenario-Based Models |
172
click to vote
VRML
2005
ACM
16 years 6 days ago
2005
ACM
In this paper, we present LAMP3D, a system for the locationaware presentation of VRML content on mobile devices. We explore the application of LAMP3D in tourist mobile guides: the...
236
Voted
CAV
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
148
click to vote
ESEC
1991
Springer
15 years 10 months ago
1991
Springer
This paper presents a dynamic technique for predicting the e ect that a location" of a program will have on the program's computational behavior. The technique is based ...
179
click to vote
HCI
2001
15 years 8 months ago
2001
Usability testing typically focuses on methodology and metrics, while the specific interactions being tested are chosen in an ad hoc way. This paper demonstrates a framework for o...
190
click to vote
CCR
2002
15 years 6 months ago
2002
This paper presents a trace-driven simulation study of two classes of retransmission timeout (RTO) estimators in the context of realtime streaming over the Internet. We explore th...