714 search results - page 85 / 143 » Formal Verification of Cognitive Models |
101
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
Usage control is a generalization of access control that also addresses how data is used after it is released. We present a formal model for different mechanisms that can enforce ...
212
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
111
click to vote
COORDINATION
2006
Springer
15 years 5 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
227
click to vote
ICDT
2009
ACM
16 years 2 months ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
105
Voted
ISSS
2002
IEEE
15 years 6 months ago
2002
IEEE
We have fabricated a Chip Multiprocessor prototype code-named Merlot to proof our novel speculative multithreading architecture. On Merlot, multiple threads provide wider issue wi...