7557 search results - page 1495 / 1512 » Modeling Timed Concurrent Systems |
NSPW
2003
ACM
15 years 5 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...
EGH
2003
Springer
15 years 5 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...
108
click to vote
APSEC
2002
IEEE
15 years 4 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...
HICSS
2002
IEEE
15 years 4 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...
114
click to vote
HICSS
2002
IEEE
15 years 4 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 ...