2562 search results - page 410 / 513 » The Use of B2B Process Standards: A Case Study |
CTW
2008
14 years 10 months ago
2008
Abstract Surgical trainees must maximise the educational and developmental opportunities of time spent in the operating theatre. Post-operative debriefing on performance based on o...
JALC
2006
14 years 10 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
ASE
2000
14 years 9 months ago
2000
Inconsistencies may arise in the course of specification of systems, and it is now recognised that they cannot be forbidden. Recent work has concentrated on enabling requirements ...
197
click to vote
PODS
2009
ACM
15 years 10 months ago
2009
ACM
Skyline computation is widely used in multi-criteria decision making. As research in uncertain databases draws increasing attention, skyline queries with uncertain data have also ...
OSDI
2008
ACM
15 years 10 months ago
2008
ACM
The console logs generated by an application contain messages that the application developers believed would be useful in debugging or monitoring the application. Despite the ubiq...