1856 search results - page 188 / 372 » Formal Dialectic Specification |
147
click to vote
APSEC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes a process for selecting and evaluating candidates for component based software engineering. The process is aimed at developers sourcing components from third ...
126
click to vote
IFIP
2009
Springer
15 years 9 months ago
2009
Springer
E-contracts express the rights and obligations of parties through a formal, digital representation of the contract provisions. In process intensive relationships, e-contracts conta...
138
click to vote
UM
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
146
click to vote
SP
1996
IEEE
15 years 8 months ago
1996
IEEE
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...
183
click to vote
PLDI
1996
ACM
15 years 8 months ago
1996
ACM
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...