|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1294 occurrences of 854 keywords
|
|
|
Results
Found 3121 publication records. Showing 3121 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
153 | Scott E. Bryant, Dan Moshavi, Thang V. Nguyen |
A field study on organizational commitment, professional commitment and peer mentoring. |
Data Base |
2007 |
DBLP DOI BibTeX RDF |
peer mentoring, professional commitment, software professionals, organizational commitment, IS personnel |
102 | Pekka Abrahamsson, Netta Iivari |
Commitment in Software Process Improvement--In Search of the Process. |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
commitment net, Software process improvement, commitment, commitment process |
80 | Ryo Nishimaki, Eiichiro Fujisaki, Keisuke Tanaka |
Efficient Non-interactive Universally Composable String-Commitment Schemes. |
ProvSec |
2009 |
DBLP DOI BibTeX RDF |
non-interactive string commitment, all-but-one trapdoor functions, homomorphism, universal composability |
76 | Ran Canetti, Marc Fischlin |
Universally Composable Commitments. |
CRYPTO |
2001 |
DBLP DOI BibTeX RDF |
security analysis of protocols, non-malleability, Commitment schemes, concurrent composition |
73 | Nick Moffat, Michael Goldsmith |
Assumption-Commitment Support for CSP Model Checking. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Assumption-commitment, Model checking, Refinement, CSP, Compositional reasoning, Assume-guarantee |
68 | Mingzhong Wang, Kotagiri Ramamohanarao, Jinjun Chen |
Reasoning intra-dependency in commitments for robust scheduling. |
AAMAS (2) |
2009 |
DBLP BibTeX RDF |
commitment machines, commitment refactoring, scheduling, robustness, agent interaction |
65 | Giovanni Di Crescenzo |
Equivocable and Extractable Commitment Schemes. |
SCN |
2002 |
DBLP DOI BibTeX RDF |
|
65 | Rahul Jain 0001 |
New Binding-Concealing Trade-Offs for Quantum String Commitment. |
J. Cryptol. |
2008 |
DBLP DOI BibTeX RDF |
String commitment, Quantum channels, Observational divergence, Substate theorem, Relative entropy |
58 | Pekka Abrahamsson |
Is Management Commitment a Necessity After All in Software Process Improvement? |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
|
58 | Ari Juels, Martin Wattenberg |
A Fuzzy Commitment Scheme. |
CCS |
1999 |
DBLP DOI BibTeX RDF |
|
58 | Martin Andersson, Tuomas Sandholm |
Leveled Commitment Contracting among Myopic Individually Rational Agents. |
ICMAS |
1998 |
DBLP DOI BibTeX RDF |
|
58 | James G. Mullen, Jin Jing, Jamshid Sharif-Askary |
Reservation Commitment and Its Use in Multidatabase Systems. |
DEXA |
1993 |
DBLP DOI BibTeX RDF |
|
57 | Iftach Haitner, Omer Horvitz, Jonathan Katz, Chiu-Yuen Koo, Ruggero Morselli, Ronen Shaltiel |
Reducing Complexity Assumptions for Statistically-Hiding Commitment. |
J. Cryptol. |
2009 |
DBLP DOI BibTeX RDF |
Statistical hiding, Regular one way functions, Bit commitment |
57 | Haixia Xu 0002, Bao Li 0001 |
Relationship Between a Non-Malleable Commitment Scheme and a Modified Selective Decommitment Scheme. |
J. Comput. Sci. Technol. |
2007 |
DBLP DOI BibTeX RDF |
selective decommitment, commitment, non-malleable |
57 | Michael Winikoff |
Implementing commitment-based interactions. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
agent oriented programming languages, belief desire intention (BDI), commitment machines, agent interaction |
57 | Jordi Castellà-Roca, Josep Domingo-Ferrer |
A Non-Repudiable Bitstring Commitment Scheme Based on a Public-Key Cryptosystem. |
ITCC (2) |
2004 |
DBLP DOI BibTeX RDF |
Bit commitment, Mental poker |
57 | Ivan Damgård, Jens Groth |
Non-interactive and reusable non-malleable commitment schemes. |
STOC |
2003 |
DBLP DOI BibTeX RDF |
signature, commitment, one-way function, universal composability, non-malleability |
54 | Dario Catalano, Ivan Visconti |
Hybrid Trapdoor Commitments and Their Applications. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
50 | Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni |
Toward an AgentSpeak(L) Theory of Commitment and Intentional Learning. |
MICAI |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Eric Tze Kuan Lim, Yu-Ting Caisy Hung |
Understanding the Relationship between Justice and Team Goal Commitment in Virtual Project Teams: An Empirical Investigation. |
HICSS |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Heehyoung Jang, Ilsang Ko, Joon Koh |
The Influence of Online Brand Community Characteristics on Community Commitment and Brand Loyalty. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
50 | Iftach Haitner, Omer Horvitz, Jonathan Katz, Chiu-Yuen Koo, Ruggero Morselli, Ronen Shaltiel |
Reducing Complexity Assumptions for Statistically-Hiding Commitment. |
EUROCRYPT |
2005 |
DBLP DOI BibTeX RDF |
|
50 | Robert C. Kremer, Roberto A. Flores |
Using a performative subsumption lattice to support commitment-based conversations. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
CASA, performatives, protocols, policies, agent communications languages, ACL, FIPA, social commitments |
50 | Ashok U. Mallya, Munindar P. Singh |
Modeling exceptions via commitment protocols. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
agents, multiagent systems, exception handling, commitments |
50 | Yogesh Malhotra, Dennis F. Galletta |
Role of Commitment and Motivation in Knowledge Management Systems Implementation: Theory, Conceptualization, and Measurement of Antecedents of Success. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Martí Navarro, Vicente J. Botti, Vicente Julián |
Commitment Management in Real-Time Multi-Agent Systems. |
DCAI |
2008 |
DBLP DOI BibTeX RDF |
Real-time systems, Multi-agent systems, Commitment |
50 | Paul Harrenstein, Felix Brandt 0001, Felix A. Fischer |
Commitment and extortion. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
extortion, game theory, multiagent systems, commitment |
50 | Adrian Kent |
Secure Classical Bit Commitment Using Fixed Capacity Communication Channels. |
J. Cryptol. |
2005 |
DBLP DOI BibTeX RDF |
Relativistic cryptography, Quantum cryptography, Bit commitment |
50 | Tim Klaus, Cynthia LeRouge, J. Ellis Blanton |
An examination of the relationships between select nature of work characteristics and organizational commitment of IT professionals. |
CPR |
2003 |
DBLP DOI BibTeX RDF |
IT retention, group cohesion, job characteristics model, nature of work, role ambiguity, role conflict, role stress, commitment, turnover |
50 | Xiaofeng Gong, Julian Newman |
The Role of Deontic Concepts and Commitment in the Policy Specification of Mobile Computing Environment. |
OTM Workshops |
2003 |
DBLP DOI BibTeX RDF |
deontic concepts, speech acts oriented communication, mobile computing, Commitment, commitments, security policy specification |
50 | Mario Verdicchio, Marco Colombetti |
A logical model of social commitment for agent communication. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
temporal logic, commitment, agent communication languages, speech act theory |
47 | Yoav Raz |
Extended Commitment Ordering or Guaranteeing Global Serializability by Applying Commitment Order Selectivity to Global Transactions. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
46 | Kyoung Jun Lee, Yong Sik Chang |
Time-Bounded Negation Framework for Multi-Agent Coordination. |
PRIMA |
1998 |
DBLP DOI BibTeX RDF |
|
46 | Gilles Brassard, Moti Yung |
One-Way Group Actions. |
CRYPTO |
1990 |
DBLP DOI BibTeX RDF |
|
45 | Dennis Hofheinz, Jörn Müller-Quade |
Universally Composable Commitments Using Random Oracles. |
TCC |
2004 |
DBLP DOI BibTeX RDF |
universal composition, cryptographic protocols, commitment, random oracle |
43 | Mihir Bellare, Dennis Hofheinz, Scott Yilek |
Possibility and Impossibility Results for Encryption and Commitment Secure under Selective Opening. |
EUROCRYPT |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Stefan J. Witwicki, Edmund H. Durfee |
Commitment-driven distributed joint policy search. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
coordination, negotiation, agent modeling |
43 | Pinar Yolum |
Correctness Requirements for Multiagent Commitment Protocols. |
ISCIS |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Giovanni Di Crescenzo, Jonathan Katz, Rafail Ostrovsky, Adam D. Smith |
Efficient and Non-interactive Non-malleable Commitment. |
EUROCRYPT |
2001 |
DBLP DOI BibTeX RDF |
|
43 | Pinar Yolum, Munindar P. Singh |
Commitment Machines. |
ATAL |
2001 |
DBLP DOI BibTeX RDF |
|
43 | Louis Salvail |
Quantum Bit Commitment from a Physical Assumption. |
CRYPTO |
1998 |
DBLP DOI BibTeX RDF |
|
43 | Nandit Soparkar, Eliezer Levy, Henry F. Korth, Abraham Silberschatz |
Adaptive Commitment for Distributed Real-Time Transactions. |
CIKM |
1994 |
DBLP DOI BibTeX RDF |
|
42 | Zhen Liu, Na Li, Chaohai Zhang |
Unit Commitment Scheduling Using a Hybrid ANN and Lagrangian Relaxation Method. |
MUE |
2008 |
DBLP DOI BibTeX RDF |
Lagrangian relaxation method, artificial neural networks, unit commitment |
42 | Iftach Haitner, Omer Reingold |
Statistically-hiding commitment from any one-way function. |
STOC |
2007 |
DBLP DOI BibTeX RDF |
statistically hiding and computationally binding commitment, cryptography, one-way functions |
42 | Margaret F. Reid, Myria W. Allen, Cynthia K. Riemenschneider, Deborah J. Armstrong |
Affective commitment in the public sector: the case of IT employees. |
CPR |
2006 |
DBLP DOI BibTeX RDF |
affective organizational commitment, IT professionals, job satisfaction, public sector, job characteristics |
42 | Jeffrey M. Stanton, Indira R. Guzman, Isabelle Fagnot |
Internships and occupational commitment of college students in IT-related majors. |
CPR |
2006 |
DBLP DOI BibTeX RDF |
IS/IT professionals, diversity in the IT field, occupational commitment, IT workforce, college students, occupational subcultures, internships |
42 | Songsak Chusanapiputt, Dulyatat Nualhong, Sujate Jantarang, Sukumvit Phoomvuthisarn |
Selective self-adaptive approach to ant system for solving unit commitment problem. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
selective self-adaptive approach, ant system, unit commitment |
42 | Mary Sumner, Susan E. Yager, Denise Franke |
Career orientation and organizational commitment of IT personnel. |
CPR |
2005 |
DBLP DOI BibTeX RDF |
IT workforce, organizational commitment, career anchors |
42 | Tiew-On Ting, M. V. C. Rao, Chu Kiong Loo, Sze-San Ngu |
Solving Unit Commitment Problem Using Hybrid Particle Swarm Optimization. |
J. Heuristics |
2003 |
DBLP DOI BibTeX RDF |
Unit commitment, Hybrid Particle Swarm Optimization |
42 | Carlos Murillo-Sánchez, Robert J. Thomas |
Parallel Processing Implementation of the Unit Commitment Problem with Full AC Power Flow Constraints. |
HICSS |
2000 |
DBLP DOI BibTeX RDF |
Thermal unit commitment, Power generation scheduling, Parallel computation, Lagrangian relaxation |
38 | Rafail Ostrovsky, Giuseppe Persiano, Ivan Visconti |
Simulation-Based Concurrent Non-malleable Commitments and Decommitments. |
TCC |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Masayuki Abe, Ronald Cramer, Serge Fehr |
Non-interactive Distributed-Verifier Proofs and Proving Relations among Commitments. |
ASIACRYPT |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Peng Yong Kong, Kee Chaing Chua, Brahim Bensaou |
Compound QoS commitments for a wireless network with variable capacity (invited paper). |
ICME |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Indira R. Guzman, Damien Joseph, K. Nadia Papamichail, Jeffrey M. Stanton |
RIP - beliefs about IT culture: exploring national and gender differences. |
CPR |
2007 |
DBLP DOI BibTeX RDF |
IS/IT professionals, international perspective, occupational commitment, occupational culture, culture, IT workforce, occupational subcultures |
38 | Vincent Conitzer, Tuomas Sandholm |
Computing the optimal strategy to commit to. |
EC |
2006 |
DBLP DOI BibTeX RDF |
normalform games, stackelberg, game theory, nash equilibrium, commitment, leadership, bayesian games |
38 | Stéphane Airiau, Sandip Sen |
Learning to commit in repeated games. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
learning, commitment, repeated game |
38 | Bonnie A. Nardi |
Beyond Bandwidth: Dimensions of Connection in Interpersonal Communication. |
Comput. Support. Cooperative Work. |
2005 |
DBLP DOI BibTeX RDF |
social connection, computer-mediated communication, attention, commitment, interpersonal communication, affinity |
38 | Zhengyou Zhang, Ying Shan |
A Progressive Scheme for Stereo Matching. |
SMILE |
2000 |
DBLP DOI BibTeX RDF |
Disparity gradient limit, Least commitment, Progressive matching, Correlation, Image registration, Bayesian inference, Stereo vision, Stereo matching |
35 | Timothy William Cleaver, Abdul Sattar 0001 |
Quantifying Commitment. |
PRICAI |
2008 |
DBLP DOI BibTeX RDF |
Agents, Knowledge Representation, Reasoning |
35 | Yunfeng Wang, Xiaochun Chen, Zhao Zhao |
The Integrative Model of CIO Lateral Influence Behavior, Peer's Trust and Peer's Commitment. |
CSSE (5) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Viji R. Avali, Michael N. Huhns |
Commitment-Based Multiagent Decision Making. |
CIA |
2008 |
DBLP DOI BibTeX RDF |
Commitments, BDI, CTL* |
35 | Sanman Hu, Bin Zuo |
The Moderating Effect of Leader-member Exchange on the Job Insecurity-Organizational Commitment Relationship. |
I3E (2) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Pinar Yolum, Munindar P. Singh |
Enacting protocols by commitment concession. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
communication, protocols, argumentation |
35 | Hadi Bannazadeh, Alberto Leon-Garcia |
Service Commitment Strategies in Allocating Services to Applications. |
IEEE SCC |
2007 |
DBLP DOI BibTeX RDF |
Service-Oriented Architecture, Service Composition, Markov Decision Processes, Composite Applications |
35 | Yulin Fang, Derrick J. Neufeld |
Should I Stay or Should I Go? Worker Commitment to Virtual Organizations. |
HICSS |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Ashok U. Mallya, Munindar P. Singh |
Introducing Preferences into Commitment Protocols. |
AC |
2006 |
DBLP DOI BibTeX RDF |
|
35 | John Hulland, Kersi D. Antia, Michael R. Wade |
Resource-Based Determinants of Online Channel Commitment and Performance. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Hong-jun Zhang, Qing-Hua Li, Wei Zhang |
Commitment in Cooperative Problem Solving. |
GCC |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Ashok U. Mallya, Munindar P. Singh |
A Semantic Approach for Designing Commitment Protocols. |
AC |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Mario Verdicchio, Marco Colombetti |
A Logical Model of Social Commitment for Agent Communication. |
Workshop on Agent Communication Languages |
2003 |
DBLP DOI BibTeX RDF |
|
35 | R. Mathur, James Irvine 0001, John Dunlop, Yeonwoo Lee, Steve McLaughlin 0001 |
Cost/commitment tradeoffs in UMTS networks using the digital marketplace. |
MWCN |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Ivan Damgård, Eiichiro Fujisaki |
A Statistically-Hiding Integer Commitment Scheme Based on Groups with Hidden Order. |
ASIACRYPT |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Manju Ahuja, Katherine M. Chudoba, Joey F. George, Chuck Kacmar, D. Harrison McKnight |
Overworked and Isolated? Predicting the Effect of Work-Family Conflict, Autonomy, and Workload on Organizational Commitment and Turnover of Virtual Workers. |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
virtual worker, global organization, technology, virtual teams, virtual collaboration |
35 | Anthony C. Nelson, Cindy LeRouge |
Self esteem: moderator between role stress fit and satisfaction and commitment? |
SIGCPR |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Elke Franz 0001, A. Graubner, Anja Jerichow, Andreas Pfitzmann |
Comparison of Commitment Schemes Used in Mix-Mediated Anonymous Communication for Preventing Pool-Mode Attacks. |
ACISP |
1998 |
DBLP DOI BibTeX RDF |
|
35 | Yoav Raz |
The Dynamic Two Phase Commitment (D2PC) Protocol. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
35 | Ivan Damgård, Torben P. Pedersen, Birgit Pfitzmann |
On the Existence of Statistically Hiding Bit Commitment Schemes and Fail-Stop Signatures. |
CRYPTO |
1993 |
DBLP DOI BibTeX RDF |
|
35 | Adrian Segall, Ouri Wolfson |
Transaction Commitment at Minimal Communication Cost. |
PODS |
1987 |
DBLP DOI BibTeX RDF |
|
34 | Barry W. Boehm, Jo Ann Lane |
New processes for new horizons: the incremental commitment model. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
feasibility evidence, hardware-software-human factors integration, incremental commitment model, risk management |
34 | D. Harrison McKnight |
Relational roots of IT worker organizational commitment. |
CPR |
2009 |
DBLP DOI BibTeX RDF |
social needs, trust, teamwork, retention, job satisfaction, turnover, organizational commitment, job characteristics |
34 | Bruce M. Kapron, Lior Malka, Srinivasan Venkatesh 0001 |
A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC). |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
random self-reducibility, zero-knowledge, commitment-schemes |
34 | Ali Keles |
Binary differential evolution for the unit commitment problem. |
GECCO (Companion) |
2007 |
DBLP DOI BibTeX RDF |
binary differential evolution, economic dispatch, differential evolution, hill climbing, unit commitment |
34 | Zhengjun Cao, Lihua Liu |
Boudot's Range-Bounded Commitment Scheme Revisited. |
ICICS |
2007 |
DBLP DOI BibTeX RDF |
range-bounded commitment, knowledge of a discrete logarithm, zero-knowledge proof |
34 | Wei Li, Deren Sheng, Jianhong Chen, Zhenfu Yuan, Kefa Cen |
A New Method Based on Immune Algorithm to Solve the Unit Commitment Problem. |
PROLAMAT |
2006 |
DBLP DOI BibTeX RDF |
Unit Commitment Problem(UCP), Thermal Unit, Optimization, Immune Algorithm |
34 | Mario Verdicchio, Marco Colombetti |
A commitment-based communicative act library. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
commitment, agent communication languages, speech acts |
34 | Youlong Zhuang, Albert L. Lederer |
The Impact of Top Management Commitment, Business Process Redesign, and IT Planning on the Business-to-Consumer E-Commerce Site. |
Electron. Commer. Res. |
2004 |
DBLP DOI BibTeX RDF |
top management commitment, information technology planning, electronic commerce, business process redesign, information systems management |
34 | Sandra K. Newton, Stephen C. Wingreen, J. Ellis Blanton |
The impact of organizational ethical climate fit on information technology professional's job satisfaction and organizational commitment research in progress. |
CPR |
2004 |
DBLP DOI BibTeX RDF |
ethical climate fit, person-organization fit, IT professional, job satisfaction, organizational commitment, social-cognitive theory |
34 | Alexandre Belloni, Andre L. Diniz Souto Lima, Maria Elvira Piñeiro Maceira, Claudia A. Sagastizábal |
Bundle Relaxation and Primal Recovery in Unit Commitment Problems. The Brazilian Case. |
Ann. Oper. Res. |
2003 |
DBLP DOI BibTeX RDF |
power system operation, feasible dispatch, Lagrangian relaxation, unit commitment, augmented Lagrangian, bundle methods |
34 | Ana Viana, Jorge Pinho de Sousa, Manuel A. Matos |
Using GRASP to Solve the Unit Commitment Problem. |
Ann. Oper. Res. |
2003 |
DBLP DOI BibTeX RDF |
metaheuristics, GRASP, unit commitment |
34 | Nicoletta Fornara, Marco Colombetti |
Defining interaction protocols using a commitment-based agent communication language. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
open interaction system, auction, commitment, interaction protocol, agent communication language, communicative act |
34 | Ming Zhong, Yunbo Feng, Yixian Yang |
Single-Term Divisible Electronic Cash Based on Bit Commitment. |
ISCC |
2000 |
DBLP DOI BibTeX RDF |
one-time knowledge proof, blind signature, electronic cash, bit commitment |
34 | Dmitri Chkliaev, Jozef Hooman, Peter van der Stok |
Formal Modeling and Analysis of Atomic Commitment Protocols. |
ICPADS |
2000 |
DBLP DOI BibTeX RDF |
real-time, formal specification, distributed databases, PVS, fault-tolerant systems, mechanical verification, atomic commitment protocols |
34 | Swarup Mohalik, Ramaswamy Ramanujam |
A Presentation of Regular Languages in the Assumption - Commitment Framework. |
ACSD |
1998 |
DBLP DOI BibTeX RDF |
assumption-commitment, distributed systems, Regular languages |
34 | Paritosh K. Pandya |
Some Comments on the Assumption-Commitment Framework for Compositional Verification of Distributed Programs. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
Assumption Commitment Framework, Compositional Verification, Inductive Inference, Liveness properties |
31 | Shien Jin Ong, Salil P. Vadhan |
An Equivalence Between Zero Knowledge and Commitments. |
TCC |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Diana Cukierman, Donna McGee Thompson |
Learning strategies sessions within the classroom in computing science university courses. |
ITiCSE |
2007 |
DBLP DOI BibTeX RDF |
pedagogy |
31 | Youhei Tanaka, Naohiro Hayashibara, Tomoya Enokido, Makoto Takizawa 0001 |
Fault Detection and Recovery in a Transactional Agent Model. |
AINA |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Haifei Li 0002, Jun-Jang Jeng, Henry Chang |
Managing Business Relationships in E-services Using Business Commitments. |
TES |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Lambèr M. M. Royakkers, Frank Dignum |
Organizations and Collective Obligations. |
DEXA |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Panagiotis Manolios, Sudarshan K. Srinivasan |
Automatic verification of safety and liveness for pipelined machines using WEB refinement. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
flushing, pipelined machines, verification, refinement, SAT, bisimulation, commitment, liveness, Refinement maps |
Displaying result #1 - #100 of 3121 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|