595 search results - page 91 / 119 » Lightweight Static Capabilities |
GCSE
2001
Springer
14 years 5 days ago
2001
Springer
Abstract. The C++ language has only a limited runtime type information system, which doesn’t provide full reflection capabilities. We present a general mechanism to support refle...
ECBS
2010
IEEE
14 years 1 days ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
ATS
1996
IEEE
13 years 12 months ago
1996
IEEE
In this paper, we present a novel and efticient approach to test MCM at the module as well as chip levels. Our design incorporates the concept of the multifrequency test method an...
ACII
2007
Springer
13 years 11 months ago
2007
Springer
The recognition of affective human communication may be used to provide developers with a rich source of information for creating systems that are capable of interacting well with ...
AINA
2007
IEEE
13 years 11 months ago
2007
IEEE
Pervasive computing environments introduce new requirements in expressiveness and flexibility of access control policies which are almost addressable leveraging contextual informa...