284 search results - page 24 / 57 » Formal Foundation for Pattern-Based Modelling |
96
Voted
ACSAC
1999
IEEE
15 years 4 months ago
1999
IEEE
Coordinating security policies in information enclaves is challenging due to their heterogeneity and autonomy. Administrators must reconcile the semantic diversity of data and sec...
110
Voted
WOA
2000
15 years 1 months ago
2000
ogramming are evaluated along three different guidelines: the programming abstractions the calculus suggests; the underlying programming model; the security mechanisms provided. Th...
90
Voted
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
213
Voted
POPL
2008
ACM
16 years 26 days ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
108
click to vote
FMSD
2010
14 years 11 months ago
2010
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...