7167 search results - page 1128 / 1434 » A Technique for Invariant Generation |
216
click to vote
KDD
2010
ACM
15 years 11 months ago
2010
ACM
Many social networks can be characterized by a sequence of dyadic interactions between individuals. Techniques for analyzing such events are of increasing interest. In this paper,...
200
click to vote
ESORICS
2007
Springer
15 years 11 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
199
Voted
VRML
2010
ACM
15 years 11 months ago
2010
ACM
We propose a number of X3D extensions to enable shadows in the virtual worlds. Our higher-level extensions are an easy way to request shadows independently of their implementation...
246
Voted
ICCAD
2007
IEEE
15 years 11 months ago
2007
IEEE
Due to the recent advances in microfluidics, digital microfluidic biochips are expected to revolutionize laboratory procedures. One critical problem for biochip synthesis is the dr...
232
click to vote
ICCTA
2007
IEEE
15 years 11 months ago
2007
IEEE
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...