15636 search results - page 2935 / 3128 » Modelling by supersaturated designs |
187
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
170
click to vote
ACNS
2004
Springer
15 years 10 months ago
2004
Springer
Motivated by the conflict between authenticity and privacy in the digital signature, the notion of limited verifier signature was introduced [1]. The signature can be verified by a...
136
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper discusses the Trustworthy Computing Security Development Lifecycle (or simply the SDL), a process that Microsoft has adopted for the development of software that needs ...
168
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
Fuzzy logic is a natural basis for modelling and solving problems involving imprecise knowledge and continuous systems. Unfortunately, fuzzy logic systems are invariably static (o...
197
click to vote
ADBIS
2006
Springer
15 years 10 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...