Sciweavers

15885 search results - page 2512 / 3177
» The Modest Software Engineer
Sort
View
ACSAC
2004
IEEE
15 years 11 months ago
Static Analyzer of Vicious Executables (SAVE)
Software security assurance and malware (trojans, worms, and viruses, etc.) detection are important topics of information security. Software obfuscation, a general technique that ...
Andrew H. Sung, Jianyun Xu, Patrick Chavez, Sriniv...
ATAL
2008
Springer
15 years 9 months ago
A flexible framework for verifying agent programs
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...
PLPV
2010
ACM
15 years 9 months ago
Challenge benchmarks for verification of real-time programs
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...
Tomás Kalibera, Pavel Parizek, Ghaith Hadda...
EPEW
2008
Springer
15 years 9 months ago
An Empirical Investigation of the Applicability of a Component-Based Performance Prediction Method
Abstract. Component-based software performance engineering (CBSPE) methods shall enable software architects to assess the expected response times, throughputs, and resource utiliza...
Anne Martens, Steffen Becker, Heiko Koziolek, Ralf...
BCSHCI
2008
15 years 8 months ago
Low cost prototyping: part 1, or how to produce better ideas faster by getting user reactions early and often
Although approaches to User Centered Software Development have existed for almost 20 years a rift still exists between theory and practice. In practice, many software projects are...
Stephen Brown, Andreas Holzinger
« Prev « First page 2512 / 3177 Last » Next »