|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1372 occurrences of 797 keywords
|
|
|
Results
Found 4935 publication records. Showing 4935 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Patrice Chalin, Frédéric Rioux |
Non-null references by default in the Java modeling language. |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
non-null references, reference types, contracts, JML, java modeling language |
16 | Shibashis Guha, Srinath Srinivasa, Saikat Mukherjee, Ranajoy Malakar |
LogicFence: A Framework for Enforcing Global Integrity Constraints at Runtime. |
IDEAS |
2006 |
DBLP DOI BibTeX RDF |
Interaction schema, Coordination, Contracts, Reference monitor, Constraint enforcement |
16 | Albert Sargent Jr. |
Outsourcing relationship literature: an examination and implications for future research. |
CPR |
2006 |
DBLP DOI BibTeX RDF |
management, contracts, outsourcing, relationships, offshore, literature review |
16 | Yurong Yao, Lisa D. Murphy |
A state-transition approach to application service provider client-vendor relationship development. |
Data Base |
2005 |
DBLP DOI BibTeX RDF |
IT contracts, expectations match, relationship development, trust, dependence, outsourcing, conflict resolution, credibility, capability, ASP |
16 | Eric Brechner |
Journey of enlightenment: the evolution of development at Microsoft. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
security, XML, design, collaboration, reliability, coordination, interfaces, refactoring, quality, contracts, SOAP, test driven development, agile, versioning, WSDL, scrum, NET, Microsoft, lean |
16 | Steven Willmott |
On Distributed Systems and Social Engineering. |
IEEE Distributed Syst. Online |
2004 |
DBLP DOI BibTeX RDF |
software by contract, agents, multiagent systems, policies, contracts, norms |
16 | Eric Brechner |
Things they would not teach me of in college: what Microsoft developers learn later. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
security, privacy, design, collaboration, reliability, cryptography, accessibility, coordination, requirements, analysis, redundancy, quality, diversity, contracts, coupling, testability, globalization, cohesion, multidisciplinary, FMEA, commercial |
16 | Martin J. Kollingbaum, Timothy J. Norman |
Norm adoption in the NoA agent architecture. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
norms and contracts, agent architecture |
16 | Knut K. Aase |
Representative Agent Pricing of Financial Assets Based on Lévy Processes with Normal Inverse Gaussian Marginals. |
Ann. Oper. Res. |
2002 |
DBLP DOI BibTeX RDF |
partial equilibrium, normal inverse Gaussian distribution, inverse Gaussian distribution, CCAPM, futures contracts, options |
16 | Nalini Dayanand, Rema Padman |
A Two Stage Search Heuristic for Scheduling Payments in Projects. |
Ann. Oper. Res. |
2001 |
DBLP DOI BibTeX RDF |
schedules, heuristics, projects, contracts, payments |
16 | Elke Pulvermüller, Andreas Speck, Awais Rashid |
Implementing Collaboration-Based Designs Using Aspect-Oriented Programming. |
TOOLS (34) |
2000 |
DBLP DOI BibTeX RDF |
Mixin Layers, Aspect-Oriented Programming, Contracts, Separation of Concerns, Collaboration-based Design |
16 | Yigal Hoffner, Heiko Ludwig, Ceki Gülcü, Paul W. P. J. Grefen |
An Architecture for Cross-Organizational Business Processes. |
WECWIS |
2000 |
DBLP DOI BibTeX RDF |
cross-organizational processes, contract match-making, workflow management, B2B e-commerce, electronic contracts, virtual markets |
16 | Frank Griffel, M. Tuan Tu, Malte Münke, Michael Merz, Winfried Lamersdorf, Miguel Mira da Silva |
Electronic contract negotiation as an application niche for mobile agents. |
EDOC |
1997 |
DBLP DOI BibTeX RDF |
electronic contract negotiation, application niche, mobile agent paradigm, contract negotiation, middleware market, electronic commerce, distributed applications, contracts, mobile agent system, distributed software systems |
16 | Prabu Davamanirajan, Tridas Mukhopadhyay, Charles H. Kriebel |
To license or not: the case of a new information technology product. |
HICSS (4) |
1995 |
DBLP DOI BibTeX RDF |
information technology product, operating costs, actual cost impact, duopoly two-period model, one-time licensing, period-by-period licensing, licensor, information technology, economics, contracts, costing, product development, cost-benefit analysis, licensing, cost reduction, commerce |
15 | Franco Barbanera, Ugo de'Liguoro |
Two notions of sub-behaviour for session-based client/server systems. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
behavioural semantics, client/server interaction, semantics of subtyping, sub-behaviour, coinduction, session types |
15 | Justin King, Alan W. Colman |
A Multi Faceted Management Interface for Web Services. |
Australian Software Engineering Conference |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Marco Comerio, Hong Linh Truong 0001, Flavio De Paoli, Schahram Dustdar |
Evaluating Contract Compatibility for Service Composition in the SeCO2 Framework. |
ICSOC/ServiceWave |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Constantinos Kotsokalis, Ramin Yahyapour, Miguel Angel Rojas González |
Modeling Service Level Agreements with Binary Decision Diagrams. |
ICSOC/ServiceWave |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar |
Monotonicity in Service Orchestrations. |
Petri Nets |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Luca Padovani |
Contract-Based Discovery and Adaptation of Web Services. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Mario Bravetti, Gianluigi Zavattaro |
Contract-Based Discovery and Composition of Web Services. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Frank Alexander Kraemer, Peter Herrmann |
Automated Encapsulation of UML Activities for Incremental Development and Verification. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
UML Activities, UML State Machines, UML Streaming Parameters, Verification, Model Reuse, System Composition |
15 | Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel 0001 |
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Davide Maria Parrilli |
The Determination of Jurisdiction in Grid and Cloud Service Level Agreements. |
GECON |
2009 |
DBLP DOI BibTeX RDF |
Jurisdiction, Grid, SLA, Cloud, Legal |
15 | Liliana Favre, Claudia Pereira |
Formalizing MDA-Based Refactorings. |
Australian Software Engineering Conference |
2008 |
DBLP DOI BibTeX RDF |
Formal Specification, Model Driven Architecture, Refactoring, Model Driven Development |
15 | Alberto Portilla, Tan Hanh, Javier-Alfonso Espinosa-Oviedo |
Building reliable mobile services based applications. |
ICDE Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Paulo Ditarso Maciel Jr., Flavio V. D. de Figueiredo, D. Maia, Francisco Vilar Brasileiro, Alvaro Coelho |
On the planning of a hybrid IT infrastructure. |
NOMS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Arsenii Rudich, Ádám Darvas, Peter Müller 0001 |
Checking Well-Formedness of Pure-Method Specifications. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Dries Vanoverberghe, Nikolaj S. Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann |
Using Dynamic Symbolic Execution to Improve Deductive Verification. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Alexander M. Hoole, Issa Traoré |
Contract-Based Security Monitors for Service Oriented Software Architecture. |
APSCC |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Naoyasu Ubayashi, Jinji Piao, Suguru Shinotsuka, Tetsuo Tamai |
Contract-Based Verification for Aspect-Oriented Refactoring. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
Verification, AOP, Refactoring, Contract |
15 | Alberto Portilla, Tan Hanh, Javier-Alfonso Espinosa-Oviedo, Christine Collet, Genoveva Vargas-Solar |
Construire des applications fiables à base de services mobiles. |
UbiMob |
2008 |
DBLP DOI BibTeX RDF |
application à base de services, comportement transactionnel, coordination de services, propriétés non fonctionnelles |
15 | Fabio Massacci, Frank Piessens, Ida Sri Rejeki Siahaan |
Security-By-Contract for the Future Internet. |
FIS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Jacob Matthews, Amal Ahmed 0001 |
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Alessio Lomuscio, Hongyang Qu 0001, Monika Solanki |
Towards Verifying Contract Regulated Service Composition. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ting Wang, Paul W. P. J. Grefen, Jochem Vonk |
Ensuring Transactional Reliability by E-Contracting. |
CAiSE |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Anas Abou El Kalam, Yves Deswarte |
Critical Infrastructures Security Modeling, Enforcement and Runtime Checking. |
CRITIS |
2008 |
DBLP DOI BibTeX RDF |
Security policies and models, access control enforcement, security of critical infrastructures, runtime model checking |
15 | David Evans 0002, David M. Eyers |
Deontic logic for modelling data flow and use compliance. |
MPAC |
2008 |
DBLP DOI BibTeX RDF |
middleware, contract, deontic logic, event calculus |
15 | Ning Gui, Vincenzo De Florio, Hong Sun, Chris Blondia |
A framework for adaptive real-time applications: the declarative real-time OSGi component model. |
ARM |
2008 |
DBLP DOI BibTeX RDF |
real-time system, OSGi, component framework |
15 | 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 |
|
15 | Mario Bravetti, Gianluigi Zavattaro |
Contract Compliance and Choreography Conformance in the Presence of Message Queues. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Michal Feldman, John Chuang, Ion Stoica, Scott Shenker |
Hidden-Action in Network Routing. |
IEEE J. Sel. Areas Commun. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Marc Lohmann, Leonardo Mariani, Reiko Heckel |
A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services. |
Test and Analysis of Web Services |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Maria Grazia Buscemi, Ugo Montanari |
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Hélia Pouyllau, Stefan Haar |
A protocol for QoS contract negotiation and its implementation using Web Services. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Patric Fornasier, Jim Webber, Ian Gorton |
Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL. |
CBSE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Mesfin Mulugeta, Alexander Schill |
An Approach for QoS Contract Negotiation in Distributed Component-Based Software. |
CBSE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Emel Filiz |
Incorporating unawareness into contract theory. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Kwok, Thao Nguyen, Linh Lam, Trieu C. Chieu |
A Web-based and Email Driven Electronic Contract Management System. |
ICEBE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Mesfin Mulugeta, Alexander Schill |
A Framework for QoS Contract Negotiation in Component-Based Applications. |
CEE-SET |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Philippe Collet, Jacques Malenfant, Alain Ozanne, Nicolas Rivierre |
Composite Contract Enforcement in Hierarchical Component Systems. |
SC@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Portilla, Genoveva Vargas-Solar, Christine Collet, José-Luis Zechinelli-Martini, Luciano García-Bañuelos |
Contract Based Behavior Model for Services Coordination. |
WEBIST (Selected Papers) |
2007 |
DBLP DOI BibTeX RDF |
Transactional behavior, web services, services oriented systems, advanced transactional models, services based applications |
15 | Robert Entriken |
Elementary Analysis of Energy Options for Resource Adequacy. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Cosimo Laneve, Luca Padovani |
The Must Preorder Revisited. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Martin Waldburger, Burkhard Stiller |
Legal Compliance in Commercial Service Provisioning Across Administrative Domains. |
EUNICE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball |
Feedback-Directed Random Test Generation. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Eberhard Schmid, Grit Walther, Thomas Spengler |
Coordination in Recycling Networks. |
OR |
2007 |
DBLP DOI BibTeX RDF |
|
15 | John K. Debenham, Simeon J. Simoff |
A Model for Informed Negotiating Agents. |
KES-AMSTA |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Shan-Shan Hou, Lu Zhang 0023, Tao Xie 0001, Hong Mei 0001, Jiasu Sun |
Applying Interface-Contract Mutation in Regression Testing of Component-Based Software. |
ICSM |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ilja Ponka, Nicholas R. Jennings |
Changing Circumstances and Leveled Commitment: A Compensatory Approach to Contracting. |
CEC/EEE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jens Dietrich 0001, John G. Hosking, Jonathan Giles |
A Formal Contract Language for Plugin-based Software Engineering. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ting Wang, Jochem Vonk, Paul W. P. J. Grefen |
TxQoS: A Contractual Approach for Transaction Management. |
EDOC |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jenny Bhuiyan, Surya Nepal, John J. Zic |
Checking Conformance between Business Processes and Web Service Contract in Service Oriented Applications. |
ASWEC |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Portilla, Christine Collet, Genoveva Vargas-Solar |
Towards a transactional services coordination model. |
IDEAS |
2006 |
DBLP DOI BibTeX RDF |
Transactional behaviour, web services, services oriented systems, advanced transactional models, services based applications |
15 | Don Perugini, Don Gossink |
Order of Movement in Decommitting from a Contract. |
CIMCA/IAWTIC |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Mesfin Mulugeta, Alexander Schill |
Component QoS Contract Negotiation in Multiple Containers. |
OTM Conferences (2) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Gabriele Cecchetti, Anna Lina Ruscelli |
A framework for enhanced QoS support in IEEE802.11e networks. |
MobiMedia |
2006 |
DBLP DOI BibTeX RDF |
WLAN, scheduling algorithm, QoS management |
15 | Bei Shui Liao, Li Jin, Ji Gao |
PDC-Agent Enabled Autonomic Computing: A Theory of Autonomous Service Composition. |
PRIMA |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Ke Shi |
A Component Based Design Tool for Networked Embedded Software Supporting Non-Functional Analysis. |
GCC Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Mitschele, Ingo Oesterreicher, Frank Schlottmann, Detlef Seese |
Heuristic Optimization of Reinsurance Programs and Implications for Reinsurance Buyers. |
OR |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Lea Bloechlinger |
A Coherent Spot/Forward Price Model with Regime-Switching. |
OR |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Kwok, Thao Nguyen |
An Automatic Method to Extract Data from an Electronic Contract Composed of a Number of Documents in PDF Format. |
CEC/EEE |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Alan W. Colman, Linh Duy Pham, Jun Han 0004, Jean-Guy Schneider |
Adaptive application-specific middleware. |
MW4SOC |
2006 |
DBLP DOI BibTeX RDF |
service-oriented computing, adaptive middleware, ROAD |
15 | John K. Debenham, Simeon J. Simoff |
Building Intelligent Negotiating Agents. |
Australian Conference on Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
15 | James H. Kaufman, Stefan Edlund, Daniel Alexander Ford, Calvin Powers |
The Social Contract Core. |
Electron. Commer. Res. |
2005 |
DBLP DOI BibTeX RDF |
social contract, privacy, P3P |
15 | Iain Bate, Philippa Conmy |
Safe Composition of Real Time Software. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Cosmin Carabelea, Michael Berger |
Agent Negotiation in Ad-Hoc Networks. |
MobiQuitous |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Jens A. Andersson, Panlop Zeephongsekul |
Shaping Variables in Service Level Agreements at Application Level. |
MASCOTS |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Curbera, Donald F. Ferguson, Martin Nally, Marcia L. Stockton |
Toward a Programming Model for Service-Oriented Computing. |
ICSOC |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Antonio Brogi, Razvan Popescu |
Towards Semi-automated Workflow-Based Aggregation of Web Services. |
ICSOC |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Diana Borrego |
Diagnosing Errors in DbC Programs Using Constraint Programming. |
CAEPIA |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Dillon |
A Component-Oriented Model for the Design of Safe Multi-threaded Applications. |
CBSE |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Bert Lagaisse, Wouter Joosen |
Component-Based Open Middleware Supporting Aspect-Oriented Software Composition. |
CBSE |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Elias A. Demetriades, Deborah Cernauskas |
Forecasting the term structure of natural gas constant maturity futures using a seasonal principal components-based post-weighted monte carlo simulation. |
WSC |
2005 |
DBLP BibTeX RDF |
|
15 | Nikola Milanovic |
Contract-Based Web Service Composition Framework with Correctness Guarantees. |
ISAS |
2005 |
DBLP DOI BibTeX RDF |
|
15 | R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Dillon |
Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Ji-Hyun Lee, Hye-Min Noh, Cheol-Jung Yoo, Ok-Bae Chang |
Component Contract-Based Formal Specification Technique. |
ICCSA (3) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Ying Jiang, Shan-Shan Hou, Jinhui Shan, Lu Zhang 0023, Bing Xie |
Contract-Based Mutation for Testing Components. |
ICSM |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Jens Happe |
Predicting Mean Service Execution Times of Software Components Based on Markov Models. |
QoSA/SOQUA |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Guido Governatori, Zoran Milosevic |
Dealing with contract violations: formalism and domain specific language. |
EDOC |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Jonathan S. Ostroff, David Makalsky, Richard F. Paige |
Agile Specification-Driven Development. |
XP |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Luciano Baresi, Carlo Ghezzi, Sam Guinea |
Smart monitors for composed services. |
ICSOC |
2004 |
DBLP DOI BibTeX RDF |
pre- and post-conditions, xlinkIt, quality of service, web services, monitoring, composition, exception handling, BPEL, NET, functional requirements |
15 | Sven Overhage |
UnSCom: A Standardized Framework for the Specification of Software Components. |
Net.ObjectDays |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Orlando Loques, Alexandre Sztajnberg |
Customizing Component-Based Architectures by Contract. |
Component Deployment |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Paul Lajbcygier |
Using Visual Exploratory Data Analysis to Find Bias in Option Pricing Models. |
IV |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Andrew Stutzman |
Student employment system: the pros and cons of building a homegrown application and using student programmers. |
SIGUCCS |
2004 |
DBLP DOI BibTeX RDF |
student employment, databases, oracle, perl, student workers |
15 | Robert M. Coehoorn, Nicholas R. Jennings |
Learning on opponent's preferences to make effective multi-issue negotiation trade-offs. |
ICEC |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Claus Pahl |
An Ontology-Based Framework for Semantic Grid Service Composition. |
GSEM |
2004 |
DBLP DOI BibTeX RDF |
Ontology, Service composition, Semantic Grid, Service processes |
15 | Aleksandr Rudkevich |
Investment and Bidding Strategies in Markets for Firm Transmission Rights. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Alea M. Fairchild |
Information Technology Outsourcing (ITO) Governance: An Examination of the Outsourcing Management Maturity Model. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 4935 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|