7139 search results - page 212 / 1428 » Language Engineering in Practice |
176
click to vote
CCS
2005
ACM
16 years 17 days ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
209
click to vote
MEMOCODE
2003
IEEE
16 years 9 days ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
209
Voted
UML
2001
Springer
15 years 11 months ago
2001
Springer
Today's User Interfaces (UIs) are complex software components, which play an essential role in the usability of an application. The development of UIs requires therefore, not ...
174
Voted
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...
203
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...