Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini |
Model-Based Generation of Testbeds for Web Services. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Rui Guo, Bin B. Zhu, Min Feng 0002, Aimin Pan, Bosheng Zhou |
Compoweb: a component-oriented web architecture. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
delayed-binding, security, web, component, interface, reuse, mashup, protection, browser, encapsulation, isolation, same-origin policy |
14 | Andrés Vignaga, Daniel Perovich, M. Cecilia Bastarrica |
Extracting Object Interactions Out of Software Contracts Using Model Transformations. |
ICMT@TOOLS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Arsenii Rudich, Ádám Darvas, Peter Müller 0001 |
Checking Well-Formedness of Pure-Method Specifications. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ming-Hua Hsieh |
Valuation of variable annuity contracts with cliquet options in Asia markets. |
WSC |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Wladimir Araujo, Lionel C. Briand, Yvan Labiche |
Concurrent Contracts for Java in JML. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Shanshan Hao, Qingshan Li, Meisheng Wang, Chenguang Zhao, Hua Xing |
A Systems Integration Oriented Multi-agent Hierarchy Cooperation Model. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Yong He 0004, Lindu Zhao, Ju He |
Supply Chain Coordination Using Returns Policy with Sales Rebate and Penalty under Effort and Price Dependent Demand. |
HICSS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Mohammad Zubair, Ravi Mukkamala |
High Performance Implementation of Binomial Option Pricing. |
ICCSA (1) |
2008 |
DBLP DOI BibTeX RDF |
Financial Computing, Parallel Computing, High Performance Computing, Option Pricing |
14 | Stefania Costantini, Arianna Tocchio, Panagiota Tsintza |
Contracts Violation: Justification via Argumentation. |
CLIMA |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Martin Nordio, Peter Müller 0001, Bertrand Meyer 0001 |
Proof-Transforming Compilation of Eiffel Programs. |
TOOLS (46) |
2008 |
DBLP DOI BibTeX RDF |
proof-transforming compiler, CIL, Software verification, Proof-Carrying Code, Eiffel, program proofs |
14 | Nir Oren, Sofia Panagiotidi, Javier Vázquez-Salceda, Sanjay Modgil, Michael Luck, Simon Miles |
Towards a Formalisation of Electronic Contracting Environments. |
COIN@AAMAS&AAAI |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Tony Chau, Vinod Muthusamy, Hans-Arno Jacobsen, Elena Litani, Allen Chan, Phil Coulthard |
Automating SLA modeling. |
CASCON |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Surya Nepal, John Zic |
A Conflict Neighbouring Negotiation Algorithm for Resource Services in Dynamic Collaborations. |
IEEE SCC (2) |
2008 |
DBLP DOI BibTeX RDF |
Negotiation Algorithm, Dynamic Collaborations |
14 | Shlomi Dolev, Reuven Yagel |
Stabilizing Trustand Reputationfor Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract). |
SSS |
2007 |
DBLP DOI BibTeX RDF |
host systems, Byzantine programs, security, self-stabilization, trust and reputation |
14 | Dave Arnold, Jean-Pierre Corriveau, Vojislav D. Radonjic |
Open framework for conformance testing via scenarios. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
metrics, scenarios, contracts, conformance testing, non-functional requirements |
14 | Paulo Leitão, João Mendes |
Agent-Based Inter-Organizational Workflow Management System. |
HoloMAS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi |
Relationally-parametric polymorphic contracts. |
DLS |
2007 |
DBLP DOI BibTeX RDF |
contracts, polymorphism, parametricity |
14 | Pamela N. Gray, Xenogene Gray, John Zeleznikow |
Negotiating logic: for richer or poorer. |
ICAIL |
2007 |
DBLP DOI BibTeX RDF |
dispute avoidance, legal expert systems, legal practitioner ontologies, negotiation planning, negotiation support systems |
14 | John K. Debenham |
Building Relationships and Negotiating Agreements in a Network of Agents. |
KSEM |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Sandra K. Newton, J. Ellis Blanton, Stephen C. Wingreen |
Exploring the characteristics of an IT professional's employment arrangement. |
CPR |
2007 |
DBLP DOI BibTeX RDF |
employment arrangements, IT professionals |
14 | Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini |
A Timed Extension of WSCoL. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Ethan Hadar, Mark Perreira |
Web Services Variation Façade - Domain Specific Reference Architecture for Increasing Integration Usability. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
Product Line Variations, Web Services Integration Design, Architecture Centric Evolution, Usability |
14 | Yuxuan Meng, Bo Meng |
A Digital Signature Scheme in Web-based Negotiation Support System. |
I3E (1) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Neelam Soundarajan, Jason O. Hallstrom, Adem Delibas, Guoqiang Shu |
Testing Patterns. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Hongjiang Gao, Zheng Qin, Li-Ping Shao, Xingchen Heng |
Specifying and Verifying Cases Retrieval System Combining Event B and Spin. |
ICSC |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Huijia Xie |
Protecting fair use from digital rights management in china. |
Digital Rights Management Workshop |
2007 |
DBLP DOI BibTeX RDF |
digital rights management, China, fair use |
14 | Cristian Prisacariu, Gerardo Schneider |
A Formal Language for Electronic Contracts. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Robert J. Kauffman, Ryan Sougstad |
Value-at-Risk in IT Services Contracts. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Cosimo Laneve, Luca Padovani |
The Must Preorder Revisited. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Lai Xu 0001, Paul de Vrieze |
Fundaments Of Virtual Organization E-Contracting. |
Virtual Enterprises and Collaborative Networks |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Jin Li 0002, Kwangjo Kim, Fangguo Zhang, Xiaofeng Chen 0001 |
Aggregate Proxy Signature and Verifiably Encrypted Proxy Signature. |
ProvSec |
2007 |
DBLP DOI BibTeX RDF |
Bilinear pairings, Proxy signature, Random oracle, Aggregate signature |
14 | Jean-Pierre Corriveau |
Testable Requirements for Offshore Outsourcing. |
SEAFOOD |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Martin Waldburger, Burkhard Stiller |
Legal Compliance in Commercial Service Provisioning Across Administrative Domains. |
EUNICE |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball |
Feedback-Directed Random Test Generation. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Ilja Ponka, Nicholas R. Jennings |
Changing Circumstances and Leveled Commitment: A Compensatory Approach to Contracting. |
CEC/EEE |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Hung Ledang, Dang Van Hung |
Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Ting Wang, Jochem Vonk, Paul W. P. J. Grefen |
TxQoS: A Contractual Approach for Transaction Management. |
EDOC |
2007 |
DBLP DOI BibTeX RDF |
|
14 | R. P. Sundarraj 0001 |
A model for standardizing human decisions concerning service-contracts management. |
Ann. Oper. Res. |
2006 |
DBLP DOI BibTeX RDF |
Contracts and warranties, World wide web, Heuristic, Electronic commerce, Services, Analytical hierarchy process |
14 | Guido Boella, Leendert W. N. van der Torre |
A game theoretic approach to contracts in multiagent systems. |
IEEE Trans. Syst. Man Cybern. Part C |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Yan-Ling Wang, De-Li Yang |
Risk Management in International Mutual Insurance. |
IEEE ICCI |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Ioan Alfred Letia, Adrian Groza |
Agreeing on Defeasible Commitments. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Hongbin Zhou, Simon N. Foley |
A Framework for Establishing Decentralized Secure Coalitions. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Philippe Meunier, Robert Bruce Findler, Matthias Felleisen |
Modular set-based analysis from contracts. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
modular analysis, runtime contracts, static debugging, set-based analysis |
14 | Tomohiro Yoneda, Chris J. Myers |
Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Dean Kuo, Alan D. Fekete, Paul Greenfield, Surya Nepal, John Zic, Savas Parastatidis, Jim Webber |
Expressing and Reasoning about Service Contracts in Service-Oriented Computing. |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Javier Bustos-Jiménez, Denis Caromel, Mario Leyton, José M. Piquer |
Coupling Contracts for Deployment on Alien Grids. |
Euro-Par Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Xiaobing Liu, Hongguang Bo, Yue Ma, Qiunan Meng |
Research on Hybrid Distributed Manufacturing Execution System in Multi-location Enterprises Environment. |
CSCWD (Selected Papers) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Yonglei Yao, Fangchun Yang, Sen Su |
Evaluating Proposals in Web Services Negotiation. |
ISCIS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Bei Shui Liao, Huaxin Huang, Ji Gao |
An Extended BDI Agent with Policies and Contracts. |
PRIMA |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Charles A. Milligan |
The Data Warehouse in a Distributed Utility Environment. |
HICSS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Andrzej Skowron, Sheela Ramanna, James F. Peters |
Conflict Analysis and Information Systems: A Rough Set Approach. |
RSKT |
2006 |
DBLP DOI BibTeX RDF |
rough sets, requirements engineering, negotiation, conflict resolution, Conflict, conflict graph |
14 | Marc Lohmann, Gregor Engels, Stefan Sauer 0001 |
Model-driven Monitoring: Generating Assertions from Visual Contracts. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Santiago Zapata Hernandez, Antonio Fernandez Gómez-Skarmeta |
Virtual identities in authentication and authorization scenarios. |
PST |
2006 |
DBLP DOI BibTeX RDF |
Daidalos, ID-token, PANA, RegID, VID, authentication, authorization, identity, diameter, SAML |
14 | Rajiv Ranjan 0001, Aaron Harwood, Rajkumar Buyya |
SLA-Based Coordinated Superscheduling Scheme for Computational Grids. |
CLUSTER |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Sakyibea Darko-Ampem, Maria Katsoufi, Pablo Giambiagi |
Secure Negotiation in Virtual Organizations. |
EDOC Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Bertrand Meyer 0001 |
The Context of Object Computation (extended abstract). |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Yishai A. Feldman, Leon Gendler |
Discern: Towards the Automatic Discovery of Software Contracts. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Danny Weyns, Nelis Boucké, Tom Holvoet |
Gradient field-based task assignment in an AGV transportation system. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani |
A Formal Account of Contracts for Web Services. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Michael S. Parkin, Dean Kuo, John M. Brooke |
A Framework & Negotiation Protocol for Service Contracts. |
IEEE SCC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Xiang Yu, Ian Li-Jin Thng, Yuming Jiang 0001, Chunming Qiao |
Queueing processes in GPS and PGPS with LRD traffic inputs. |
IEEE/ACM Trans. Netw. |
2005 |
DBLP DOI BibTeX RDF |
LRD isolation, Weibull bounded, Weibull bounded burstiness, queueing process, QoS, long range dependent, generalized processor sharing |
14 | Tine Verhanneman, Frank Piessens, Bart De Win, Wouter Joosen |
Requirements traceability to support evolution of access control. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
access control, evolution, requirements traceability |
14 | Wojciech J. Dzidek, Lionel C. Briand, Yvan Labiche |
Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java. |
MoDELS (Satellite Events) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Hendrik J. G. Oberholzer, Martin S. Olivier |
Privacy Contracts as an Extension of Privacy Policies. |
ICDE Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
14 | John K. Debenham |
Foundations for Automated Trading - Its the Information That Matters. |
DEXA |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Paul Arkley, Steve Riddle |
Overcoming the Traceability Benefit Problem. |
RE |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Bo Yang 0016, Meiyun Zuo, Xiantao Yao |
A case study of disaster backup outsourcing of SDB and Hi Sun. |
ICEC |
2005 |
DBLP DOI BibTeX RDF |
trust, outsourcing, partnership |
14 | Ioan Alfred Letia, Adrian Groza |
Automating the Dispute Resolution in a Task Dependency Network. |
IAT |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Vladimir Tosic, Bernard Pagurek |
On Comprehensive Contractual Descriptions of Web Services. |
EEE |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Marc Lohmann, Stefan Sauer 0001, Gregor Engels |
Executable Visual Contracts. |
VL/HCC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Irene Kafeza, Eleanna Kafeza, Dickson K. W. Chiu |
Legal Issues in Agents for Electronic Contracting. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Ganeshkumar Ganapathy, Barbara Goodson, Robert K. Jansen, Vijaya Ramachandran, Tandy J. Warnow |
Pattern Identification in Biogeography. |
WABI |
2005 |
DBLP DOI BibTeX RDF |
|
14 | David A. Miller, Sameer Tilak, Tony Fountain |
"Token" equilibria in sensor networks with multiple sponsors. |
CollaborateCom |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Nele Smeets, Eric Steegmans |
A Methodology for Writing Class Contracts. |
SOFSEM |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Werner Streitberger |
Framework for the Negotiation of Electronic Contracts in E-Business on Demand. |
CEC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Tine Verhanneman, Frank Piessens, Bart De Win, Wouter Joosen |
Uniform Application-level Access Control Enforcement of Organizationwide Policies. |
ACSAC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Wilson, Savi Maharaj, Robert G. Clark |
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Schmidt, Robert Steele, Tharam S. Dillon, Elizabeth Chang 0001 |
Applying a Fuzzy Trust Model to E-Commerce Systems. |
Australian Conference on Artificial Intelligence |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Jae-Yoon Jung 0001, Wonchang Hur, Suk-Ho Kang, Hoontae Kim |
Business Process Choreography for B2B Collaboration. |
IEEE Internet Comput. |
2004 |
DBLP DOI BibTeX RDF |
Business process choreography, Process interoperability patterns, B2B collaboration |
14 | Guido Rotondi |
Assessment methodologies for public contractors. |
ACM SIGSOFT Softw. Eng. Notes |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Manfred Broy |
A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation. |
Architecting Systems with Trustworthy Components |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Weirong Wang, Aloysius K. Mok, Gerhard Fohler |
Generalized Pre-Scheduler. |
ECRTS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Fan Ye 0005, Tim Kelly |
COTS Product Selection for Safety-Critical Systems. |
ICCBSS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Toshiya Kaihara, Susumu Fujii |
Multi-Agent Based Robust Scheduling for Agile Manufacturing. |
BASYS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Florence Maraninchi, Lionel Morel |
Logical-Time Contracts for Reactive Embedded Components. |
EUROMICRO |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Wonseok Oh 0001, Michael Gallivan |
An Empirical Assessment of Transaction Risks of IT Outsourcing Arrangements: An Event Study. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Eric K. Clemons, Lorin M. Hitt |
Poaching and the Misappropriation of Information: Transaction Risks of Information Exchange. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Babak Sadighi Firozabadi, Marek J. Sergot, Anna Cinzia Squicciarini, Elisa Bertino |
A Framework for Contractual Resource Sharing in Coalitions. |
POLICY |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Mark A. Brown |
Obligation, Contracts, and Negotiation. |
DEON |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Henrique Lopes Cardoso, Eugénio C. Oliveira |
Virtual Enterprise Normative Framework Within Electronic Institutions. |
ESAW |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Franck Barbier, Nicolas Belloir, Jean-Michel Bruel |
Incorporation of Test Functionality into Software Components. |
ICCBSS |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Rui Dai, Dale O. Stahl, Andrew B. Whinston |
The Economics of Smart Routing and Quality of Service. |
Networked Group Communication |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Marina Krol, D. Nelkin-Warantz, A. Auville |
Database-Controlled Document Management System for the Mt. Sinai Independent Practice Association. |
CBMS |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Heiko Ludwig, Markus Stolze |
Simple Obligation and Right Model (SORM) - for the Runtime Management of Electronic Service Contracts. |
WES |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Jean-Marc Jézéquel, Olivier Defour, Noël Plouzeau |
An MDA Approach to Tame Component Based Software Development. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Onur Demirörs, Çigdem Gencel, Ayça Tarhan |
Utilizing Business Process Models for Requirements Elicitation. |
EUROMICRO |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Susanne Guth, Gustaf Neumann, Mark Strembeck |
Experiences with the enforcement of access rights extracted from ODRL-based digital contracts. |
Digital Rights Management Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Shing-Chi Cheung, Patrick C. K. Hung, Dickson K. W. Chiu |
On the e-Negotiation of Unmatched Logrolling Views. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Cyril Carrez, Alessandro Fantechi, Elie Najm |
Behavioural Contracts for a Sound Assembly of Components. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|