20126 search results - page 303 / 4026 » Timed Transition Systems |
137
click to vote
RTAS
2005
IEEE
15 years 10 months ago
2005
IEEE
Component technology has become a central focus of software engineering in research and development. Reusability is a key factor that contributes to its success. The reuse of comp...
146
click to vote
AVSS
2003
IEEE
15 years 10 months ago
2003
IEEE
A smart and simple algorithm is presented in this paper for vehicle’s license plate recognition system. Based on pattern matching, this algorithm can be applied for real time de...
133
click to vote
FTDCS
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper deals with the problem of scheduling aperiodic groups of tasks in distributed systems. It proposes two contributions, namely: i) a distributed scheduling algorithm to b...
140
click to vote
HYBRID
1995
Springer
15 years 8 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
126
Voted
CMG
2003
15 years 6 months ago
2003
: Performance tuning often involves consideration of adding another server to the system. Owing to changes in technology, the additional server may be of a service rate different f...