2123 search results - page 364 / 425 » Composition of Cyber-Physical Systems |
194
Voted
CHI
2010
ACM
16 years 28 days ago
2010
ACM
Privacy practices in social network sites often appear paradoxical, as content-sharing behavior stands in conflict with the need to reduce disclosure-related harms. In this study ...
159
Voted
CC
2010
Springer
16 years 27 days ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
152
click to vote
HICSS
2009
IEEE
16 years 27 days ago
2009
IEEE
In todays increasingly dynamic and competitive business environment, organizations strive to leverage their information resources to gain and sustain competitive advantage. Deci...
165
click to vote
FOSSACS
2009
Springer
16 years 26 days ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
154
click to vote
TACAS
2009
Springer
16 years 25 days ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...