8109 search results - page 1068 / 1622 » A Model of Component-Based Programming |
216
click to vote
PET
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
191
click to vote
SAT
2004
Springer
16 years 19 days ago
2004
Springer
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...
193
click to vote
IPPS
2003
IEEE
16 years 17 days ago
2003
IEEE
The MiPPS library supports a hybrid model of parallel programming. The library is targeted at commodity multiprocessors, with support for clusters. The implementation of the concu...
150
click to vote
AOSD
2003
ACM
16 years 16 days ago
2003
ACM
Join point interception (JPI), is considered an important cornerstone of aspect-oriented languages. However, we claim that JPI alone does not suffice for a modular structuring of ...
198
Voted
COCOON
2003
Springer
16 years 15 days ago
2003
Springer
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...