3310 search results - page 362 / 662 » Aspect-aware operating system development |
139
click to vote
ISADS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper shows how modern structuring techniques can be employed in integrating complex web applications such as Travel Agency systems. The main challenges the developers of suc...
143
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
138
click to vote
ICSM
2002
IEEE
15 years 10 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
132
click to vote
DESRIST
2009
Springer
15 years 9 months ago
2009
Springer
This paper proposes and evaluates a soft systems approach to design science research. Soft Design Science provides an approach to the development of new ways to improve human orga...
159
click to vote
ICCS
2001
Springer
15 years 9 months ago
2001
Springer
Achieving peak performance from library subroutines usually requires extensive, machine-dependent tuning by hand. Automatic tuning systems have emerged in response, and they typic...