3792 search results - page 296 / 759 » Techniques for Trusted Software Engineering |
189
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
Termination is one of the most interesting problems when dealing with context-sensitive rewrite systems. Although there is a good number of techniques for proving termination of co...
149
click to vote
COMPSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
The time-triggered message-triggered object (TMO) programming scheme has been established to remove the limitation of conventional object programming techniques and tools in devel...
153
click to vote
PEPM
1991
ACM
15 years 10 months ago
1991
ACM
This is a follow-on to my 1988PLDIpaper, “Control-Flow Analysis e”[9]. Iusethe methodofabstractsemanticinterpretations to explicate the control-flow analysis technique presen...
174
click to vote
AVI
2008
15 years 9 months ago
2008
A plethora of reaching techniques, intended for moving objects between locations distant to the user, have recently been proposed and tested. One of the most promising techniques i...
185
click to vote
CISSE
2008
Springer
15 years 8 months ago
2008
Springer
Each Internet communication leaves trails here or there, that can be followed back to the user. Notably, anonymous communication schemes are purposed to hide users' identity ...