596 search results - page 29 / 120 » A Software Engineering Framework for Context-Aware Pervasive... |
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
TAICPART
2006
IEEE
14 years 3 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
C3S2E
2009
ACM
14 years 29 days ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
HPDC
2008
IEEE
14 years 3 months ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
COMPSAC
2004
IEEE
14 years 21 days ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...