2111 search results - page 308 / 423 » How to Program Pervasive Systems |
ICTCS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
SERA
2005
Springer
14 years 3 months ago
2005
Springer
: The techniques of meta-modeling and meta-levels have become a mature concept and have been largely used to solve real problems in programming languages, distributed environments,...
VMCAI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
APSEC
2003
IEEE
14 years 2 months ago
2003
IEEE
Change requests are often formulated into concepts or features that a maintainer can understand. One of the main issues faced by a maintainer is to know and locate “where does t...
WETICE
2003
IEEE
14 years 2 months ago
2003
IEEE
Agent.Hospital is an open agent-based (software) framework for distributed applications in the healthcare domain. Previous appropriation of the Agent.Hospital development is appli...