7557 search results - page 1495 / 1512 » Modeling Timed Concurrent Systems |
129
click to vote
NSPW
2003
ACM
15 years 10 months ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...
139
click to vote
EGH
2003
Springer
15 years 10 months ago
2003
Springer
Current graphics hardware can render procedurally shaded objects in real-time. However, due to resource and performance limitations, interactive shaders can not yet approach the c...
168
click to vote
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
We have taught several distributed software engineering project courses with students and real clients [4]. During these projects, students in Pittsburgh and Munich, Germany colla...
138
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
We propose a web-based computer-assisted tool for diagnosing progress in international negotiation. The system is based on a general linear model. Innovative features of the progr...
166
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract— Recent advances in graph-based search techniques derived from Kleinberg’s work [1] have been impressive. This paper further improves the graph-based search algorithm ...