7557 search results - page 597 / 1512 » Modeling Timed Concurrent Systems |
193
click to vote
FM
2001
Springer
15 years 11 months ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
159
click to vote
CHI
1996
ACM
15 years 11 months ago
1996
ACM
To measure the productivity gained from computer-based authoring systems, account must be taken of changes in the way the work is organised. An analysis of economists' author...
192
click to vote
QOSA
2010
Springer
15 years 11 months ago
2010
Springer
Software performance engineering (SPE) enables software architects to ensure high performance standards for their applications. However, applying SPE in practice is still challengi...
174
click to vote
CEE
2007
15 years 7 months ago
2007
Real-time systems are often designed using preemptive scheduling and worst-case execution time estimates to guarantee the execution of high priority tasks. There is, however, an i...
170
click to vote
ACSAC
2005
IEEE
16 years 22 days ago
2005
IEEE
The Bell-La Padula security model produced conceptual tools for the analysis and design of secure computer systems. Together with its sibling engineering initiatives, it identifi...