3792 search results - page 53 / 759 » Techniques for Trusted Software Engineering |
AMAST
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
COMSWARE
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract-- This paper presents a proposal for group membership and access control services for JXTA, both based on the principle of self-organization and collaboration of peer grou...
SOFTWARE
2002
13 years 9 months ago
2002
: This paper presents a lightweight form of usage-centered design that has proved particularly effective in designing highly usable Webbased applications. Fully compatible with bot...
ICSE
2005
IEEE-ACM
14 years 10 months ago
2005
IEEE-ACM
Some software defects trigger failures only when certain complex information flows occur within the software. Profiling and analyzing such flows therefore provides a potentially i...
ESEM
2008
ACM
13 years 11 months ago
2008
ACM
Building cost estimation models is often considered a search problem in which the solver should return an optimal solution satisfying an objective function. This solution also nee...