827 search results - page 152 / 166 » Patterns for Timed Property Specifications |
109
click to vote
VLDB
1998
ACM
15 years 6 months ago
1998
ACM
Scheduling algorithms for composite multimedia presentations need to ensure that the user-defined synchronization constraints for the various presentation components are met. This...
137
click to vote
APSEC
2004
IEEE
15 years 5 months ago
2004
IEEE
Unit testing is a methodology for testing small parts of an application independently of whatever application uses them. It is time consuming and tedious to write unit tests, and ...
114
Voted
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
This paper proposes an efficient agent for competing in Cliff Edge (CE) environments, such as sealed-bid auctions, dynamic pricing and the ultimatum game. The agent competes in on...
RECSYS
2010
ACM
15 years 2 months ago
2010
ACM
Recommender systems have emerged as an effective decision tool to help users more easily and quickly find products that they prefer, especially in e-commerce environments. However...
131
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Integrating data from multiple global assays and curated databases is essential to understand the spatiotemporal interactions within cells. Different experiments measu...