3197 search results - page 454 / 640 » Web Engineering Revisited |
163
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Model Driven Development (MDD) is an emerging paradigm for software construction that uses models to specify programs, and model transformations to synthesize executables. Feature...
142
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
158
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
This paper proposes a software architecture and a development process for engineering dependable and controllable self-organising (SO) systems. Our approach addresses dependabilit...
175
click to vote
ENTER
2010
Springer
16 years 1 months ago
2010
Springer
Search engine marketing requires a substantive understanding of the dynamics of the search system in the travel information search context. The goal of this study is to explore th...
151
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...