Sciweavers

340 search results - page 36 / 68
» Validating Business Requirements Using MAS Analysis Models
Sort
View
FC
2005
Springer
120views Cryptology» more  FC 2005»
15 years 6 months ago
Achieving Fairness in Private Contract Negotiation
Abstract. Suppose Alice and Bob are two entities (e.g. agents, organizations, etc.) that wish to negotiate a contract. A contract consists of several clauses, and each party has ce...
Keith B. Frikken, Mikhail J. Atallah
83
Voted
MOBIDE
2005
ACM
15 years 6 months ago
Recovery of mobile internet transactions: algorithm, implementation and analysis
The increasing popularity of mobile devices and the support of web portals towards performing transactions from these mobile devices has enabled business on the move. However, int...
Shashi Anand, Krithi Ramamritham
116
Voted
BMCBI
2007
119views more  BMCBI 2007»
15 years 20 days ago
Conceptual-level workflow modeling of scientific experiments using NMR as a case study
Background: Scientific workflows improve the process of scientific experiments by making computations explicit, underscoring data flow, and emphasizing the participation of humans...
Kacy K. Verdi, Heidi J. C. Ellis, Michael R. Gryk
99
Voted
ISQED
2009
IEEE
111views Hardware» more  ISQED 2009»
15 years 7 months ago
Efficient statistical analysis of read timing failures in SRAM circuits
A system-level statistical analysis methodology is described that captures the impact of inter- and intra-die process variations for read timing failures in SRAM circuit blocks. U...
Soner Yaldiz, Umut Arslan, Xin Li, Larry T. Pilegg...
121
Voted
ICRA
2005
IEEE
111views Robotics» more  ICRA 2005»
15 years 6 months ago
Optimal Design, Evaluation, and Analysis of AGV Transportation Systems Based on Various Transportation Demands
— In this paper, two designs for optimal Automated Guided Vehicle (AGV) transportation systems are presented. One is vertical and the other, horizontal. For these systems, the hy...
Satoshi Hoshino, Jun Ota, Akiko Shinozaki, Hideki ...