CGO
2007
IEEE
13 years 12 months ago
2007
IEEE
Dynamic predication has been proposed to reduce the branch misprediction penalty due to hard-to-predict branch instructions. A recently proposed dynamic predication architecture, ...
CBSE
2009
Springer
13 years 12 months ago
2009
Springer
We believe that for developing applications in a specific domain, the best kindofsoftwarecomponent model touseis adomain-specificone. Wealso believe that current component models i...
CBSE
2009
Springer
13 years 12 months ago
2009
Springer
C3S2E
2009
ACM
13 years 12 months ago
2009
ACM
Most database systems (DBMSs) today are operating on servers equipped with magnetic disks. In our contribution, we want to motivate the use of two emerging and striking technologi...
C3S2E
2009
ACM
13 years 12 months 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...
B
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
B
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
ICSE
2010
IEEE-ACM
13 years 12 months ago
2010
IEEE-ACM
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
ICSE
2010
IEEE-ACM
13 years 12 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
ICSE
2010
IEEE-ACM
13 years 12 months ago
2010
IEEE-ACM
We present a development environment for automatically building smart, security-aware GUIs following a model-based approach. Our environment consists of a number of plugins that h...