1051 search results - page 91 / 211 » Toward Team-Oriented Programming |
COMPSAC
1998
IEEE
14 years 7 days ago
1998
IEEE
Realizing a shift of software engineering towards a component-based approach to software development requires the development of higher level programming systems supporting the de...
CC
2009
Springer
13 years 5 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that combines 1) Boolean algebra of sets of uninterpreted elements (BA) and 2) Presburger arithmetic (PA). BA...
ECOOP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...
SP
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper we explore the problem of creating vulnerability signatures. A vulnerability signature matches all exploits of a given vulnerability, even polymorphic or metamorphic...