196 search results - page 36 / 40 » Model Checking Safety Properties of Servo-Loop Control Syste... |
ENTCS
2006
13 years 7 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
SP
2010
IEEE
13 years 4 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
FDL
2008
IEEE
13 years 7 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
ICFEM
2009
Springer
14 years 1 months ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...
SIGSOFT
2006
ACM
14 years 27 days ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...