5451 search results - page 659 / 1091 » Typed Operational Semantics |
173
Voted
EUROSYS
2007
ACM
15 years 10 months ago
2007
ACM
Recent research has found that operators frequently misconfigure Internet services, causing various availability and performance problems. In this paper, we propose a software inf...
156
click to vote
WSC
2007
15 years 9 months ago
2007
Simulation of existing systems can reinforce a Subject Matter Expert’s gut feelings. However, it is more difficult to develop intuition for proposed systems, particularly when c...
180
click to vote
USS
2004
15 years 8 months ago
2004
Window systems are the primary mediator of user input and output in modern computing systems. They are also a commonly used interprocess communication mechanism. As a result, they...
175
click to vote
PDPTA
2003
15 years 8 months ago
2003
— In this paper, we propose a powerful and convenient querying model, "Queryball", for users to query in immersive VR systems. In immersive VR systems, users expect int...
172
click to vote
WSC
1998
15 years 8 months ago
1998
Simulation at the machine-control level plays an important role in designing machine controls and operational specifications. Recently, there has been a considerable amount of wor...