Sciweavers

108 search results - page 13 / 22
» The Design Patterns Java Companion
Sort
View
JIPS
2010
162views more  JIPS 2010»
14 years 4 months ago
Intercepting Filter Approach to Injection Flaws
The growing number of web applications in the global economy has made it critically important to develop secure and reliable software to support the economy's increasing depen...
Ahmed Salem
EUROMICRO
2007
IEEE
15 years 3 months ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
OOPSLA
2005
Springer
15 years 3 months ago
PolyD: a flexible dispatching framework
The standard dispatching mechanisms built into programming languages are sometimes inadequate to the needs of the programmer. In the case of Java, the need for more flexibility h...
Antonio Cunei, Jan Vitek
VMCAI
2004
Springer
15 years 2 months ago
Applying Jlint to Space Exploration Software
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
Cyrille Artho, Klaus Havelund
IASTEDSEA
2004
14 years 11 months ago
Enterprise service facilitation within agent environments
A prerequisite of participating in an enterprise system is the ability to cope with the rigorous demands experienced within the system. In order to cope with these demands, a numb...
Edward Curry, Desmond Chambers, Gerard Lyons