6740 search results - page 1123 / 1348 » Using Classification as a Programming Language |
154
Voted
ER
2009
Springer
16 years 27 days ago
2009
Springer
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...
162
click to vote
ERSHOV
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
180
click to vote
ICMT
2009
Springer
16 years 27 days ago
2009
Springer
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
172
Voted
IFIP
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...
167
click to vote
IFIP
2009
Springer
16 years 27 days ago
2009
Springer
Probabilistic trust has been adopted as an approach to taking security sensitive decisions in modern global computing environments. Existing probabilistic trust frameworks either a...