4609 search results - page 865 / 922 » Automatic Generation of Sigma-Protocols |
ICSE
2008
IEEE-ACM
16 years 20 days ago
2008
IEEE-ACM
Model-based development is becoming an increasingly common development methodology. In important domains like embedded systems already major parts of the code are generated from m...
SIGSOFT
2008
ACM
16 years 18 days ago
2008
ACM
Modern Web 2.0 applications, such as GMail, Live Maps, Facebook and many others, use a combination of Dynamic HTML, JavaScript and other Web browser technologies commonly referred...
111
click to vote
SIGSOFT
2007
ACM
16 years 18 days ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
SIGSOFT
2007
ACM
16 years 18 days ago
2007
ACM
The practice of software development can likely be improved if an externalized model of each programmer's knowledge of a particular code base is available. Some tools already...
SIGSOFT
2005
ACM
16 years 18 days ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...