17680 search results - page 674 / 3536 » Simulation of Computer Systems and Applications |
184
click to vote
CASES
2003
ACM
16 years 14 days ago
2003
ACM
A significant fraction of the software and resource usage of a modern handheld computer is devoted to its graphical user interface (GUI). Moreover, GUIs are direct users of the d...
246
click to vote
PDPTA
1997
15 years 8 months ago
1997
Abstract In future, parallel and distributed computing paradigms will replace nowadays predominant sequential and centralized ones. Facing the challenge to support the construction...
210
click to vote
EUROSYS
2006
ACM
16 years 4 months ago
2006
ACM
The large size and high complexity of securitysensitive applications and systems software is a primary cause for their poor testability and high vulnerability. One approach to all...
201
click to vote
WSC
2004
15 years 8 months ago
2004
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...
196
click to vote
JVA
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...