523 search results - page 102 / 105 » Online Testing of Real-time Systems Using Uppaal |
EAGC
2003
Springer
14 years 23 days ago
2003
Springer
In the paper we aim to describe the project developing the Migrating Desktop infrastructure for the mobile users in a simple way. We also focus on the development testbed, which i...
WSDM
2010
ACM
14 years 4 months ago
2010
ACM
Sponsored search is a multi-billion dollar business that generates most of the revenue for search engines. Predicting the probability that users click on ads is crucial to sponsor...
ACSC
2002
IEEE
14 years 15 days ago
2002
IEEE
Negotiation is a process in which two or more parties with different criteria, constraints, and preferences, jointly reach an agreement on the terms of a transaction. Many current...
IMC
2007
ACM
13 years 9 months ago
2007
ACM
An experimental study of the feasibility and accuracy of the acyclicity approach introduced in [14] for the inference of business relationships among autonomous systems (ASes) is ...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we discuss the use of Targeted Trajectory Distribution Markov Decision Processes (TTD-MDPs)—a variant of MDPs in which the goal is to realize a specified distrib...