1779 search results - page 303 / 356 » A Formal Model of Data Privacy |
107
click to vote
ISCA
1998
IEEE
15 years 8 months ago
1998
IEEE
A memory model for a shared memory, multiprocessor commonly and often implicitly assumed by programmers is that of sequential consistency. This model guarantees that all memory ac...
135
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...
129
click to vote
ENTCS
2006
15 years 3 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
140
click to vote
RANLP
2003
15 years 5 months ago
2003
Despite its state-of-the-art performance, the Data Oriented Parsing (DOP) model has been shown to suffer from biased parameter estimation, and the good performance seems more the ...
119
click to vote
BIOSTEC
2008
15 years 5 months ago
2008
Clinical trial protocols include schedule of clinical trial activities such as clinical tests, procedures, and medications. The schedule specifies temporal constraints on the seque...