673 search results - page 64 / 135 » A timing model for synchronous language implementations in s... |
ICSE
2009
IEEE-ACM
14 years 11 days ago
2009
IEEE-ACM
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
POPL
1999
ACM
14 years 3 days ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
CBMS
2007
IEEE
14 years 2 months ago
2007
IEEE
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
ISORC
2002
IEEE
14 years 21 days ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
POPL
2004
ACM
14 years 8 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...