20126 search results - page 284 / 4026 » Timed Transition Systems |
129
click to vote
RTSS
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we propose a novel scheduling framework for a real-timeenvironmentthat experiences dynamic changes. Thisframework is capable of adjusting the system workload in incr...
161
click to vote
ICFEM
1997
Springer
15 years 8 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
149
click to vote
CSREAEEE
2006
15 years 6 months ago
2006
- Recommender systems provide personalized recommendations on products or services to customers. Collaborative filtering is a widely used method of providing recommendations based ...
139
click to vote
FTCS
1998
15 years 6 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
113
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
: This paper presents an overview on the workshop on Specification and Validation of Real-time and embedded Systems that has taken place for the second time in association with the...