392 search results - page 61 / 79 » Privacy Requirement Modeling and Verification in Cloud Compu... |
ICSE
2009
IEEE-ACM
13 years 8 months ago
2009
IEEE-ACM
Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope...
MOBIHOC
2002
ACM
14 years 10 months ago
2002
ACM
This paper presents a new carrier sensing mechanism called DVCS (Directional Virtual Carrier Sensing) for wireless communication using directional antennas. DVCS does not require ...
ACMICEC
2005
ACM
14 years 4 months ago
2005
ACM
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
OOPSLA
2007
Springer
14 years 4 months ago
2007
Springer
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...
CCS
2010
ACM
14 years 5 months ago
2010
ACM
Many authorization system models include some notion of obligation. Little attention has been given to user obligations that depend on and affect authorizations. However, to be u...