116 search results - page 20 / 24 » Lessons Learned from Implementing WS-Coordination and WS-Ato... |
SP
1999
IEEE
13 years 12 months ago
1999
IEEE
Psychological acceptability has been mentioned as a requirement for secure systems for as long as least privilege and fail safe defaults, but until now has been all but ignored in...
CAV
1998
Springer
13 years 11 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
SP
1989
IEEE
13 years 11 months ago
1989
IEEE
In early November 1988 the Internet, a collection of networks consisting of 60,000 host computers implementing the TCP/IP protocol suite, was attacked by a virus, a programwhich b...
WIKIS
2010
ACM
13 years 7 months ago
2010
ACM
We describe ThinkFree, an industrial Visual Wiki application which provides a way for end users to better explore knowledge of IT Enterprise Architecture assets that is held withi...
FIS
2010
13 years 5 months ago
2010
Business applications are facing an increasing demand for being delivered as on-demand services. Service Level Agreements (SLAs) are a common way for specifying the exact condition...