2661 search results - page 175 / 533 » Model Checking Performability Properties |
133
Voted
ACTA
2007
15 years 3 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
102
Voted
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
—The communication model typically assumed in wireless ad-hoc networks is based on a traditional “pipelined relay” (PR) strategy. In PR, an end-to-end flow has multiple outs...
151
Voted
ASPLOS
1996
ACM
15 years 7 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...
147
Voted
EOR
2007
15 years 3 months ago
2007
A well known industry application that allows controllable processing times is the manufacturing operations on CNC machines. For each turning operation as an example, there is a n...
123
Voted
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
Early testing of requirements can decrease the cost of removing errors in software projects. However, unless done carefully, that testing process can significantly add to the cos...