20126 search results - page 3538 / 4026 » Timed Transition Systems |
189
click to vote
CPE
2003
Springer
16 years 12 days ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
153
click to vote
DFG
2003
Springer
16 years 12 days ago
2003
Springer
Abstract. The new millennium is characterized by speed and distribution in every aspect of most business and organization undertaking. Organizations are challenged to bring ideas a...
189
click to vote
DSVIS
2003
Springer
16 years 12 days ago
2003
Springer
A number of design models have been proposed in the area of Human-Computer Interaction (HCI) to support user-centered system design. el, abstract task models and detailed interface...
159
click to vote
EMSOFT
2003
Springer
16 years 12 days ago
2003
Springer
Since the first results published in 1973 by Liu and Layland on the Rate Monotonic (RM) and Earliest Deadline First (EDF) algorithms, a lot of progress has been made in the schedu...
190
click to vote
ESAW
2003
Springer
16 years 12 days ago
2003
Springer
Abstract. Design patterns already proved successful in lowering the development time and number of errors of object-oriented software; now, they are, candidate to play a similar ro...