3736 search results - page 197 / 748 » Generative Programming |
104
click to vote
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
Alcatel Alenia Space is deeply involved in the Galileo program at many stages. In particular, Alcatel Alenia Space has successfully designed and delivered the very first navigatio...
114
click to vote
MSWIM
2005
ACM
15 years 8 months ago
2005
ACM
In order for precise evaluation of MANET applications, more realistic mobility models are needed in wireless network simulations. In this paper, we focus on the behavior of pedest...
150
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
Large-scale attacks, such as those launched by worms and zombie farms, pose a serious threat to our network-centric society. Existing approaches such as software patches are simpl...
141
click to vote
SAC
2011
ACM
14 years 6 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
101
click to vote
ICECCS
2000
IEEE
15 years 7 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...