10568 search results - page 1934 / 2114 » Computer Intelligence and Formalization |
139
Voted
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
149
Voted
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
148
Voted
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
135
click to vote
RAID
2004
Springer
15 years 9 months ago
2004
Springer
As the frequency of attacks faced by the average host connected to the Internet increases, reliance on manual intervention for response is decreasingly tenable. Operating system an...
145
Voted
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...