2036 search results - page 178 / 408 » A generic type-and-effect system |
205
click to vote
CCS
2005
ACM
16 years 18 days ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
168
click to vote
BPM
2004
Springer
16 years 14 days ago
2004
Springer
For the integration of electronic negotiation systems within information systems, it is essential to model both using the same modelling paradigm to avoid frictions. We develop a g...
242
click to vote
DATE
2003
IEEE
16 years 11 days ago
2003
IEEE
This paper presents the SPIN micro-network that is a generic, scalable interconnect architecture for system on chip. The SPIN architecture relies on packet switching and point-to-...
179
click to vote
DEXAW
2003
IEEE
16 years 11 days ago
2003
IEEE
The Internet has enabled a great amount of information to be readily available and easily accessible. It has promoted several changes in the world, including in the education area...
175
Voted
ICARCV
2002
IEEE
16 years 23 hour ago
2002
IEEE
In this paper a prototype system is described for the management and content-based retrieval of defect images in huge image databases. This is a real problem in surface inspection...