10159 search results - page 1648 / 2032 » System Design Validation Using Formal Models |
179
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Correctness of data residing in a database is vital. While integrity constraint enforcement can often ensure data consistency, it is inadequate to protect against updates that inv...
220
click to vote
HICSS
2012
IEEE
14 years 2 months ago
2012
IEEE
—Real-time access to key performance indicators is necessary to ensure timeliness and effectiveness of operational business processes. The concept of Business Activity Monitoring...
193
click to vote
SSS
2005
Springer
16 years 9 days ago
2005
Springer
Awareness of the need for robustness in distributed systems increases as distributed systems become integral parts of day-to-day systems. Self-stabilizing while tolerating ongoing ...
182
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
We present rendezvous-based access control for access control in the pre-hospital environment. Rendezvous-based access control is a simple cryptographic access control method that...
178
click to vote
ICPP
2005
IEEE
16 years 12 days ago
2005
IEEE
We describe a generic programming model to design collective communications on SMP clusters. The programming model utilizes shared memory for collective communications and overlap...