1463 search results - page 169 / 293 » Software engineering practices in Singapore |
174
click to vote
SEFM
2007
IEEE
16 years 25 days ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
151
click to vote
SCAM
2006
IEEE
16 years 17 days ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
163
click to vote
SCAM
2005
IEEE
16 years 4 days ago
2005
IEEE
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...
145
click to vote
IUI
2005
ACM
16 years 4 days ago
2005
ACM
When designing mixed-initiative systems, full formalization of all potentially relevant knowledge may not be cost-effective or practical. This paper motivates the need for semi-fo...
146
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...