4118 search results - page 548 / 824 » Mechanisms for usage control |
156
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
In this paper we describe Surflex, a programmable surface for the design and visualization of physical forms. Surflex combines the physical properties of shape-memory alloy and fo...
188
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
230
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
161
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
This research has the main objective of presenting a study on the areas of Human-Computer Interaction (HCI) and Software Engineering (SE), focusing on the importance of integratin...
142
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
A Commutative Replicated Data Type (CRDT) is one where all concurrent operations commute. The replicas of a CRDT converge automatically, without complex concurrency control. This ...