2339 search results - page 188 / 468 » Software processes for the development of electronic commerc... |
163
click to vote
ICSM
2002
IEEE
15 years 11 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....
158
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
Multimodal conversational dialogue systems consisting of numerous software components create challenges for the underlying software architecture and development practices. Typical...
131
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
High-level control of parallel process behaviour simplifies the development of parallel software substantially by freeing the programmer from low-level process management and coor...
134
click to vote
ESI
2010
15 years 5 months ago
2010
The recently completed prototyping efforts for a new type of riometer, the Advanced Rio-Imaging Experiment in Scandinavia (ARIES), required the development of a uniquely flexible s...
124
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...