2282 search results - page 271 / 457 » Active property checking |
139
click to vote
CSFW
2002
IEEE
15 years 10 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
184
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
160
Voted
WSC
1994
15 years 6 months ago
1994
Stroboscope is a programming language designed for the simulation of processes common to construction engineering. These processes are very complex and involve many different type...
138
click to vote
AOSE
2005
Springer
15 years 10 months ago
2005
Springer
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...
235
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
We introduce Pulse, a framework for processing continuous queries over models of continuous-time data, which can compactly and accurately represent many real-world activities and p...