4255 search results - page 707 / 851 » Database: Models, Languages, Design |
123
click to vote
WWW
2010
ACM
15 years 12 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
139
click to vote
SC
2005
ACM
15 years 10 months ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...
168
click to vote
ICALP
2003
Springer
15 years 10 months ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
139
Voted
WCRE
2002
IEEE
15 years 9 months ago
2002
IEEE
Today, software-engineering research and industry alike recognize the need for practical tools to support reverseengineering activities. Most of the well-known CASE tools support ...
153
Voted
VRST
2000
ACM
15 years 9 months ago
2000
ACM
We present a novel approach to creating deformations of polygonal models using Radial Basis Functions (RBFs) to produce localized real-time deformations. Radial Basis Functions as...