Sciweavers

5577 search results - page 90 / 1116
» E2K Technology and Implementation
Sort
View
CORR
2010
Springer
158views Education» more  CORR 2010»
14 years 11 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
ACISICIS
2008
IEEE
15 years 5 months ago
Lessons Learned from Implementing WS-Coordination and WS-AtomicTransaction
This paper presents the design and implementation of a transaction service that complies with the WS-Coordination and WS-AtomicTransaction standards. Such service builds upon XAct...
Ivan Silva Neto, Francisco Reverbel
IH
2004
Springer
15 years 4 months ago
Graph Theoretic Software Watermarks: Implementation, Analysis, and Attacks
Abstract. This paper presents an implementation of the novel watermarking method proposed by Venkatesan, Vazirani, and Sinha in their recent paper A Graph Theoretic Approach to Sof...
Christian S. Collberg, Andrew Huntwork, Edward Car...
ICIS
1997
15 years 16 days ago
Empowerment in business process reengineering: an ethnographic study of implementation discourses
Business process reengineering (BPR) is a methodology for organizational transformation that promises employee empowerment through the adoption of IT as leverage for change. This ...
Kylie Sayer, Linda Harvey
ISQED
2008
IEEE
66views Hardware» more  ISQED 2008»
15 years 5 months ago
An Implementation of Performance-Driven Block and I/O Placement for Chip-Package Codesign
– As silicon technology scales, we can integrate more and more circuits on a single chip, which means more I/Os are needed in modern designs. The flip-chip technology which was ...
Ming-Fang Lai, Hung-Ming Chen