Sciweavers

3357 search results - page 329 / 672
» On the Use of Process Trails to Understand Software Developm...
Sort
View
ACSAC
2007
IEEE
16 years 1 months ago
Automated Security Debugging Using Program Structural Constraints
Understanding security bugs in a vulnerable program is a non-trivial task, even if the target program is known to be vulnerable. Though there exist debugging tools that facilitate...
Chongkyung Kil, Emre Can Sezer, Peng Ning, Xiaolan...
ERLANG
2003
ACM
15 years 12 months ago
Evaluating distributed functional languages for telecommunications software
The distributed telecommunications sector not only requires minimal time to market, but also software that is reliable, available, maintainable and scalable. High level programmin...
Jan Henry Nyström, Philip W. Trinder, David J...
BMCBI
2005
94views more  BMCBI 2005»
15 years 6 months ago
YANA - a software tool for analyzing flux modes, gene-expression and enzyme activities
Background: A number of algorithms for steady state analysis of metabolic networks have been developed over the years. Of these, Elementary Mode Analysis (EMA) has proven especial...
Roland Schwarz, Patrick Musch, Axel von Kamp, Bern...
174
Voted
FSTTCS
2003
Springer
15 years 12 months ago
Moderately Hard Functions: From Complexity to Spam Fighting
A key idea in cryptography is using hard functions in order to obtain secure schemes. The theory of hard functions (e.g. one-way functions) has been a great success story, and the ...
Moni Naor
ICSOC
2005
Springer
16 years 7 days ago
Speaking a Common Language: A Conceptual Model for Describing Service-Oriented Systems
The diffusion of service-oriented computing is today heavily influencing many software development and research activities. Despite this, service-oriented computing is a relative...
Massimiliano Colombo, Elisabetta Di Nitto, Massimi...