8928 search results - page 103 / 1786 » Modeling Current Events |
179
Voted
ANSS
1991
IEEE
15 years 10 months ago
1991
IEEE
This paper first summerizes and then presents a formal proof to a new conservative deadlock-free algorithm, YADDES [l], for asynchronous discrete event simulation. The proof not o...
184
click to vote
ITCC
2005
IEEE
16 years 8 days ago
2005
IEEE
Interactive Data Language (IDL) is an array-oriented data analysis and visualization application, which is widely used in research, commerce, and education. It is meaningful to ma...
178
Voted
NSPW
2004
ACM
16 years 3 days ago
2004
ACM
This paper considers a new security protocol paradigm whereby principals negotiate and on-the-fly generate security protocols according to their needs. When principals wish to in...
161
Voted
CP
2004
Springer
16 years 2 days ago
2004
Springer
This paper presents a model and implementation techniques for speeding up constraint propagation. Two fundamental approaches to improving constraint propagation are explored: keepi...
186
click to vote
ICVS
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents an extensible architectural model for general content-based analysis and indexing of video data which can be customised for a given problem domain. Video interp...