Sciweavers

2682 search results - page 152 / 537
» An Iterative-Cyclic Software Process Model
Sort
View
BPM
2008
Springer
130views Business» more  BPM 2008»
15 years 6 hour ago
BPM and Social Software
Due to many success stories, social software received much attention in public and academia. Although it is widely used for business support, its relationship with business proces...
Rainer Schmidt, Selmin Nurcan
HIPEAC
2005
Springer
15 years 3 months ago
Memory-Centric Security Architecture
Abstract. This paper presents a new security architecture for protecting software confidentiality and integrity. Different from the previous process-centric systems designed for ...
Weidong Shi, Chenghuai Lu, Hsien-Hsin S. Lee
ICSE
1999
IEEE-ACM
15 years 2 months ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith
IJCAT
2010
132views more  IJCAT 2010»
14 years 8 months ago
Using weaving models to automate model-driven web engineering proposals
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
Juan M. Vara, Valeria de Castro, Marcos Didonet De...
ICWE
2007
Springer
15 years 4 months ago
The Challenges of Application Service Hosting
In this paper, we discuss the major issues associated with the new model of software delivery – service on demand – and explain why it alters the economics of software. As this...
Ike Nassi, Joydip Das, Ming-Chien Shan