Search results for "obligations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard	Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations.	IEEE Trans. Serv. Comput.	2008	DBLP DOI BibTeX RDF
9	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
9	João Alberto de Oliveira Lima, Monica Palmirani, Fabio Vitali	Moving in the Time: An Ontology for Identifying Legal Resources.	Computable Models of the Law, Languages, Dialogues, Games, Ontologies	2008	DBLP DOI BibTeX RDF	Ontology, temporal model, URI, FRBR
9	Thomas Walter 0001, Christian Schaefer, Gina Kounga, Makoto Hamatsu	Evidence Gathering for Remuneration of Shared Connections.	CNSR	2008	DBLP DOI BibTeX RDF	connection sharing, remuneration, authentication, authorization, evidences, non-repudiation
9	Caroline Herssens, Stéphane Faulkner, Ivan Jureta	Context-Driven Autonomic Adaptation of SLA.	ICSOC	2008	DBLP DOI BibTeX RDF	service context, adaptation, SLA
9	James Broberg, Rajkumar Buyya, Zahir Tari	Creating a 'Cloud Storage' Mashup for High Performance, Low Cost Content Delivery.	ICSOC Workshops	2008	DBLP DOI BibTeX RDF
9	Yury Gryazin 0001, Michael Landrigan	A Regularized Unconstrained Optimization in the Bond Portfolio Valuation and Hedging.	World Congress on Engineering (Selected Papers)	2008	DBLP DOI BibTeX RDF	Regularized Unconstrained Optimization, Bond Portfolio, Collateralized Mortgage Obligation, Valuation, Hedging
9	Jelena Zdravkovic, Vandana Kabilan	Contract-Based Exception Handling Process Patterns.	UNISCON	2008	DBLP DOI BibTeX RDF
9	Greg Morrisett	Programming with Effects in Coq.	MPC	2008	DBLP DOI BibTeX RDF
9	Nicoletta Fornara, Marco Colombetti	Specifying and Enforcing Norms in Artificial Institutions.	DALT	2008	DBLP DOI BibTeX RDF
9	Arsenii Rudich, Ádám Darvas, Peter Müller 0001	Checking Well-Formedness of Pure-Method Specifications.	FM	2008	DBLP DOI BibTeX RDF
9	Nicola Zeni, Nadzeya Kiyavitskaya, James R. Cordy, Luisa Mich, John Mylopoulos	Annotating Regulations Using Cerno: An Application to Italian Documents - Extended Abstract.	ARES	2008	DBLP DOI BibTeX RDF	regulation compliance, tool support, privacy requirements
9	Marcel Kyas, Cristian Prisacariu, Gerardo Schneider	Run-Time Monitoring of Electronic Contracts.	ATVA	2008	DBLP DOI BibTeX RDF
9	Sylvain Conchon, Jean-Christophe Filliâtre	Semi-persistent Data Structures.	ESOP	2008	DBLP DOI BibTeX RDF
9	Amirreza Masoumzadeh 0001, James B. D. Joshi	PuRBAC: Purpose-Aware Role-Based Access Control.	OTM Conferences (2)	2008	DBLP DOI BibTeX RDF
9	Alexander Kaganov, Paul Chow, Asif Lakhany	FPGA acceleration of Monte-Carlo based credit derivative pricing.	FPL	2008	DBLP DOI BibTeX RDF
9	Tim Miller 0001, Peter McBurney	On illegal composition of first-class agent interaction protocols.	ACSC	2008	DBLP BibTeX RDF	multi-agent systems, interaction protocols
9	Joxan Jaffar	Constraint Logic Programming for program analysis.	ACSC	2008	DBLP BibTeX RDF
9	Gero Decker, Oliver Kopp, Frank Leymann, Kerstin Pfitzner, Mathias Weske	Modeling Service Choreographies Using BPMN and BPEL4Chor.	CAiSE	2008	DBLP DOI BibTeX RDF
9	Giray Ökten, Matthew Willyard	Parameterization based on randomized quasi-Monte Carlo methods.	IPDPS	2008	DBLP DOI BibTeX RDF
9	Sophia Drossopoulou, Adrian Francalanza, Peter Müller 0001, Alexander J. Summers	A Unified Framework for Verification Techniques for Object Invariants.	ECOOP	2008	DBLP DOI BibTeX RDF
9	Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinícius Medeiros Oliveira	Tool Support for the CircusRefinement Calculus.	ABZ	2008	DBLP DOI BibTeX RDF
9	Anthony Finn	Legal Issues for Military Intelligent Decision-Making Technologies.	KES (1)	2008	DBLP DOI BibTeX RDF
9	Guido Boella, Jan M. Broersen, Leendert W. N. van der Torre	Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations.	PRIMA	2008	DBLP DOI BibTeX RDF
9	Boaz Barak, Sharon Goldberg, David Xiao	Protocols and Lower Bounds for Failure Localization in the Internet.	EUROCRYPT	2008	DBLP DOI BibTeX RDF	Failure localization, black-box separation, secure routing
9	Avinash Srinivasan, Jie Wu 0001	TRACK: A Novel Connected Dominating Set based Sink Mobility Model for WSNs.	ICCCN	2008	DBLP DOI BibTeX RDF
9	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.	FMOODS	2008	DBLP DOI BibTeX RDF	non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access
9	Hui Xie, Bin Zhang 0015, Dianyou Hu	A Role-Based Dynamic Authorization Model and Its Implementation in PMI.	CSSE (3)	2008	DBLP DOI BibTeX RDF
9	Simon Ball, Alistair McNaught	Round Peg, Square Hole: Supporting Via the Web Staff and Learners Who Do Not Fit into Traditional Learner-Teacher-Institution Scenarios.	ICCHP	2008	DBLP DOI BibTeX RDF	e-learning, accessibility, online learning, support, inclusion
9	Simon Ball, Julian Tenney	Xerte - A User-Friendly Tool for Creating Accessible Learning Objects.	ICCHP	2008	DBLP DOI BibTeX RDF	accessibility, learning objects, template, inclusion, user-friendly
9	Hang Zhao, Jorge Lobo 0001, Steven M. Bellovin	An Algebra for Integration and Analysis of Ponder2 Policies.	POLICY	2008	DBLP DOI BibTeX RDF
9	Joris Hulstijn	Need to Know: Questions and the Paradox of Epistemic Obligation.	DEON	2008	DBLP DOI BibTeX RDF
9	Yuri Demchenko, Alfred Wan, Mihai Cristea, Cees de Laat	Authorisation infrastructure for on-demand network resource provisioning.	GRID	2008	DBLP DOI BibTeX RDF
9	Anas Abou El Kalam	A research challenge in modeling access control policies: Modeling recommendations.	RCIS	2008	DBLP DOI BibTeX RDF
9	Dominic Battré, Karim Djemame, Iain Gourlay, Matthias Hovestadt, Odej Kao, James Padgett, Kerstin Voß, Daniel Warneke	AssessGrid Strategies for Provider Ranking Mechanisms in Risk-Aware Grid Systems.	GECON	2008	DBLP DOI BibTeX RDF	Grid, Ranking, Negotiation, SLA, Broker
9	David W. Chadwick, Stijn F. Lievens	Enforcing "sticky" security policies throughout a distributed application.	Middleware Security	2008	DBLP DOI BibTeX RDF	application independent PEP, obligation enforcement, privacy policy enforcement, PDP, sticky policies
9	Henrique Lopes Cardoso, Eugénio C. Oliveira	A Context-Based Institutional Normative Environment.	COIN@AAMAS&AAAI	2008	DBLP DOI BibTeX RDF	Normative Environment, Norm Activation, Defeasibility, Context
9	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
9	Tony Chau, Vinod Muthusamy, Hans-Arno Jacobsen, Elena Litani, Allen Chan, Phil Coulthard	Automating SLA modeling.	CASCON	2008	DBLP DOI BibTeX RDF
9	Mark Perry 0001, Halina Kaminski	SLA Negotiation System Design Based on Business Rules.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	license management, negotiation manager, autonomic computing, Service Level Agreement
9	Manaf Zghaibeh, Fotios C. Harmantzis	An "S-string" scheme for business-oriented peer-to-peer networks.	Electron. Commer. Res.	2007	DBLP DOI BibTeX RDF	Debit function, Access key, Peer-to-peer networks, Pricing, String
9	Sugan C. Jain, Dilip Kumar Sen, Muinuddin Khan, Swapan Kumar Bala	An analytical study on social responsibility performance evaluation as an accounting measure of management efficiency.	AI Soc.	2007	DBLP DOI BibTeX RDF	Corporate social responsibility, Management and social audit, Management efficiency, Performance evaluation
9	Edward Sobiesk, Gregory J. Conti	The Cost of Free Web Tools.	IEEE Secur. Priv.	2007	DBLP DOI BibTeX RDF
9	Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson	Design of Financial CDO Squared Transactions Using Constraint Programming.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Financial mathematics, Credit derivatives, Collateralised debt obligation (CDO), CDO squared, Portfolio design (PD), Optimal portfolio design (OPD), Balanced incomplete block design (BIBD), Embedding, Constraint programming
9	Wissam Mallouli, Ana R. Cavalli	Testing Security Rules with Decomposable Activities.	HASE	2007	DBLP DOI BibTeX RDF	Verification and Testing, Test Generation, Security Policy, SDL, Extended Finite State Machine
9	Andreas Schaad	A Framework for Evidence Lifecycle Management.	WISE Workshops	2007	DBLP DOI BibTeX RDF	organisational control, Delegation, review, evidence
9	Yin Hua Li, Hye-Young Paik, Jun Chen	Privacy Inspection and Monitoring Framework for Automated Business Processes.	WISE	2007	DBLP DOI BibTeX RDF
9	Lisa Bahler, Francesco Caruso, Josephine Micallef	A Practical Method and Tool for Systems Engineering of Service-Oriented Applications.	WISE	2007	DBLP DOI BibTeX RDF	Service Design Methodology, SOA Tools, SOA, Model-Driven Development, Systems Engineering, Enterprise Application Integration
9	Naikuo Yang, Howard Barringer, Ning Zhang 0001	A Purpose-Based Access Control Model.	IAS	2007	DBLP DOI BibTeX RDF
9	Marco Aurélio Stelmar Netto, Kris Bubendorfer, Rajkumar Buyya	SLA-Based Advance Reservations with Flexible and Adaptive Time QoS Parameters.	ICSOC	2007	DBLP DOI BibTeX RDF
9	Mike J. Boniface, Stephen C. Phillips, Alfonso Sánchez-Macián, Mike Surridge	Dynamic Service Provisioning Using GRIA SLAs.	ICSOC Workshops	2007	DBLP DOI BibTeX RDF	SLA management, dynamic provisioning
9	Tom McEwan, Ben Weerts	ALT text and basic accessibility.	BCS HCI (2)	2007	DBLP DOI BibTeX RDF	accessibility compliance, web development
9	Stephan Strodl, Christoph Becker 0001, Robert Neumayer, Andreas Rauber	How to choose a digital preservation strategy: evaluating a preservation planning procedure.	JCDL	2007	DBLP DOI BibTeX RDF	OAIS model, utility analysis, evaluation, digital libraries, digital preservation, preservation planning
9	Martin J. Kollingbaum, Wamberto Weber Vasconcelos, Andrés García-Camino, Timothy J. Norman	Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints.	DALT	2007	DBLP DOI BibTeX RDF
9	Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh 0001	Detection of Runtime Errors in MISRA C Programs: A Deductive Approach.	SAFECOMP	2007	DBLP DOI BibTeX RDF
9	Jatinder Singh, Jean Bacon, Ken Moody	Dynamic trust domains for secure, private, technology-assisted living.	ARES	2007	DBLP DOI BibTeX RDF
9	John Knudsen, Anders P. Ravn, Arne Skou	Design Verification Patterns.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
9	Tomoyuki Yamada	Acts of Promising in Dynamified Deontic Logic.	JSAI	2007	DBLP DOI BibTeX RDF
9	Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider	Model Checking Contracts - A Case Study.	ATVA	2007	DBLP DOI BibTeX RDF
9	Georgios Gkekas, Anna Kyrikou, Nikos Ioannidis	A smart calendar application for mobile environments.	MobiMedia	2007	DBLP DOI BibTeX RDF	electronic calendar, recommendation system, personalization, mobile services
9	Rongzeng Cao, Wei Ding 0002, Bonnie K. Ray	Mathematical models and simulation for project portfolios optimization.	WSC	2007	DBLP DOI BibTeX RDF
9	Guilan Dai, Xiaoying Bai, Yongbo Wang, Fengjun Dai	Contract-Based Testing for Web Services.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
9	Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani	Programming asynchronous layers with CLARITY.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	asynchronous components, design for analyzability, concurrency, static analysis, event-driven programming
9	Antonia Bertolino, Guglielmo De Angelis, Antonino Sabetta, Sebastian G. Elbaum	Scaling up SLA monitoring in pervasive environments.	ESSPE	2007	DBLP DOI BibTeX RDF
9	Qun Ni, Alberto Trombetta, Elisa Bertino, Jorge Lobo 0001	Privacy-aware role based access control.	SACMAT	2007	DBLP DOI BibTeX RDF	model, privacy, role based access control, purpose
9	Leonardo Mendonça de Moura, Nikolaj S. Bjørner	Efficient E-Matching for SMT Solvers.	CADE	2007	DBLP DOI BibTeX RDF
9	K. Rustan M. Leino	Designing Verification Conditions for Software.	CADE	2007	DBLP DOI BibTeX RDF
9	Adam Chlipala	A certified type-preserving compiler from lambda calculus to assembly language.	PLDI	2007	DBLP DOI BibTeX RDF	denotational semantics, dependent types, compiler verification, interactive proof assistants
9	Francesco Viganò, Marco Colombetti	Symbolic model checking of institutions.	ICEC	2007	DBLP DOI BibTeX RDF	model checking, norms, institutions
9	Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn	Verifying Smart Card Applications: An ASM Approach.	IFM	2007	DBLP DOI BibTeX RDF
9	Stefan Hallerstede, Thai Son Hoang	Qualitative Probabilistic Modelling in Event-B.	IFM	2007	DBLP DOI BibTeX RDF
9	David Breitgand, Ealan A. Henis, Onn Shehory, John M. Lake	Derivation of Response Time Service Level Objectives for Business Services.	BDIM	2007	DBLP DOI BibTeX RDF
9	Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert W. N. van der Torre	Contextual Agent Deliberation in Defeasible Logic.	PRIMA	2007	DBLP DOI BibTeX RDF
9	Joanna Zieba, Bartosz Kryza, Renata Slota, Lukasz Dutka, Jacek Kitowski	Ontology Alignment for Contract Based Virtual Organizations Negotiation and Operation.	PPAM	2007	DBLP DOI BibTeX RDF
9	Shuaiqiang Wang, Ying Li, Guodong Huang	PostB: The Post-condition Extension onto the B-Method.	SERA	2007	DBLP DOI BibTeX RDF
9	Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez	Ontology-Based Modelling of Session Management Policies for Groupware Applications.	EUROCAST	2007	DBLP DOI BibTeX RDF
9	James Skene, Allan Skene, Jason Crampton, Wolfgang Emmerich	The monitorability of service-level agreements for application-service provision.	WOSP	2007	DBLP DOI BibTeX RDF	SLA, ASP
9	Gary T. Leavens, Peter Müller 0001	Information Hiding and Visibility in Interface Specifications.	ICSE	2007	DBLP DOI BibTeX RDF
9	Nic Suzor, Brian Fitzgerald 0002, Mark Perry 0001	Legal issues for free and open source software in government. (PDF / PS)	OSS	2007	DBLP DOI BibTeX RDF
9	Ja'far Alqatawna, Erik Rissanen, Babak Sadighi Firozabadi	Overriding of Access Control in XACML.	POLICY	2007	DBLP DOI BibTeX RDF
9	Sylvain Boulmé, Marie-Laure Potet	Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions.	B	2007	DBLP DOI BibTeX RDF
9	Nicolas Stouls, Marie-Laure Potet	Security Policy Enforcement Through Refinement Process.	B	2007	DBLP DOI BibTeX RDF
9	Guido Boella, Leendert W. N. van der Torre	Power in Norm Negotiation.	KES-AMSTA	2007	DBLP DOI BibTeX RDF
9	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
9	Farhad Mehta	Supporting Proof in a Reactive Development Environment.	SEFM	2007	DBLP DOI BibTeX RDF
9	Dorian Gaertner, Andrés García-Camino, Pablo Noriega, Juan A. Rodríguez-Aguilar, Wamberto Weber Vasconcelos	Distributed norm management in regulated multiagent systems.	AAMAS	2007	DBLP DOI BibTeX RDF	normative conflicts, regulated multiagent systems, coordination, electronic institutions, organisations
9	Dmytro Dyachuk, Ralph Deters	Service Level Agreement Aware Workflow Scheduling.	IEEE SCC	2007	DBLP DOI BibTeX RDF
9	Manuel Kolp, Paolo Giorgini, John Mylopoulos	Multi-Agent Architectures as Organizational Structures.	Auton. Agents Multi Agent Syst.	2006	DBLP DOI BibTeX RDF	Organizational styles, Architectural design, Multi-agent architectures
9	Wan J. Fokkink, Jun Pang 0001, Jaco van de Pol	Cones and foci: A mechanical framework for protocol verification.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Process algebra, PVS, Protocol verification, Branching bisimulation
9	Sven Ove Hansson	Ideal Worlds - Wishful Thinking in Deontic Logic.	Stud Logica	2006	DBLP DOI BibTeX RDF	deontic paradoxes, ideal worlds, truth-functional representation, deontic logic, possible worlds
9	J Strother Moore	Inductive assertions and operational semantics.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Theorem proving, JVM, Software verification, Verification condition
9	Francois Carcenac, Frédéric Boniol	A formal framework for verifying distributed embedded systems based on abstraction methods.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Model checking, Abstraction, Timed automata, Distributed embedded systems, Compositional verification
9	Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos	A rule-based approach to norm-oriented programming of electronic institutions.	SIGecom Exch.	2006	DBLP DOI BibTeX RDF	programming, languages, auctions, norms, electronic institutions
9	Milind G. Sohoni, Ellis L. Johnson, T. Glenn Bailey	Operational airline reserve crew planning.	J. Sched.	2006	DBLP DOI BibTeX RDF
9	Giovanni Sartor	Fundamental legal concepts: A formal and teleological characterisation.	Artif. Intell. Law	2006	DBLP DOI BibTeX RDF	normative positions, teleological reasoning
9	Alistair A. McEwan, Steve A. Schneider	A verified development of hardware using CSP∥B.	MEMOCODE	2006	DBLP DOI BibTeX RDF
9	Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir	Formal Verification of a Lazy Concurrent List-Based Set Algorithm.	CAV	2006	DBLP DOI BibTeX RDF
9	Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin	An Open Extensible Tool Environment for Event-B.	ICFEM	2006	DBLP DOI BibTeX RDF
9	Karim Djemame, Iain Gourlay, James Padgett, Georg Birkenheuer, Matthias Hovestadt, Odej Kao, Kerstin Voß	Introducing Risk Management into the Grid.	e-Science	2006	DBLP DOI BibTeX RDF
9	Westley Weimer	Exception-Handling Bugs in Java and a Language Extension to Avoid Them.	Advanced Topics in Exception Handling Techniques	2006	DBLP DOI BibTeX RDF