4978 search results - page 930 / 996 » Logical models of argument |
176
Voted
FASE
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
149
click to vote
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
147
click to vote
AINA
2003
IEEE
15 years 7 months ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
129
Voted
CASES
2001
ACM
15 years 7 months ago
2001
ACM
It is widely acknowledged that even as VLSI technology advances, there is a looming crisis that is an important obstacle to the widespread deployment of mobile embedded devices, n...
152
click to vote
ACMSE
1995
ACM
15 years 7 months ago
1995
ACM
{ Traditional computer applications have been designed to be run by one user at a time who does some work in a single medium, such as ASCII text, and very little regard has been gi...