Search results for "obligations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	K. V. Ramani	IT Enabled Applications in Government Hospitals in India: Illustrations of Telemedicine, E-Governance, and BPR.	HICSS	2004	DBLP DOI BibTeX RDF
9	Fredj Dridi, Björn Muschall, Günther Pernul	Administration of an RBAC System.	HICSS	2004	DBLP DOI BibTeX RDF
9	Mogens Kühn Pedersen, Michael Holm Larsen	Robustness of a Distributed Knowledge Management Model.	HICSS	2004	DBLP DOI BibTeX RDF
9	Matthew Swinarski, Rajiv Kishore, H. Raghav Rao	The Effects of Power and Partnership on Application Service Provider Commitment, Cooperation, and Compliance.	HICSS	2004	DBLP DOI BibTeX RDF
9	Eetu Luoma, Hannu Vahtera	Current and Emerging Requirements for Digital Rights Management Systems through Examination of Business Networks.	HICSS	2004	DBLP DOI BibTeX RDF
9	Jan M. Broersen	On the Logic of 'Being Motivated to Achieve rho, Before delta'.	JELIA	2004	DBLP DOI BibTeX RDF
9	Mark D. Aagaard, Vlad C. Ciubotariu, Jason T. Higgins, Farzad Khalvati	Combining Equivalence Verification and Completion Functions.	FMCAD	2004	DBLP DOI BibTeX RDF
9	Mark D. Aagaard, Nancy A. Day, Robert B. Jones	Synchronization-at-Retirement for Pipeline Verification.	FMCAD	2004	DBLP DOI BibTeX RDF
9	Carlos Molina-Jiménez, Jim Pruyne, Aad P. A. van Moorsel	The Role of Agreements in IT Management Software.	WADS	2004	DBLP DOI BibTeX RDF
9	Yi Fang 0001, Nir Piterman, Amir Pnueli, Lenore D. Zuck	Liveness with Invisible Ranking.	VMCAI	2004	DBLP DOI BibTeX RDF
9	Olga Pacheco, Filipe Santos 0001	Delegation in a Role-Based Organization.	DEON	2004	DBLP DOI BibTeX RDF
9	Guido Boella, Leendert W. N. van der Torre	Delta: The Social Delegation Cycle.	DEON	2004	DBLP DOI BibTeX RDF
9	Leendert W. N. van der Torre, Joris Hulstijn, Mehdi Dastani, Jan M. Broersen	Specifying Multiagent Organizations.	DEON	2004	DBLP DOI BibTeX RDF
9	Bernd Lorenz	Some Historical Remarks on Library Classification - a Short Introduction to the Science of Library Classification.	GfKl	2004	DBLP DOI BibTeX RDF
9	Dilsun Kirli Kaynar, Nancy A. Lynch	Decomposing Verification of Timed I/O Automata.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
9	Hazem I. Shehata, Mark D. Aagaard	A general decomposition strategy for verifying register renaming.	DAC	2004	DBLP DOI BibTeX RDF	formal design verification, register renaming, pipelined circuits
9	Mehdi Dastani, Leendert W. N. van der Torre	Programming BOID-Plan Agents: Deliberating about Conflicts among Defeasible Mental Attitudes and Plans.	AAMAS	2004	DBLP DOI BibTeX RDF
9	Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard	Integrating Model Checking and Theorem Proving for Relational Reasoning.	RelMiCS	2003	DBLP DOI BibTeX RDF
9	Shuvendu K. Lahiri, Randal E. Bryant	Deductive Verification of Advanced Out-of-Order Microprocessors.	CAV	2003	DBLP DOI BibTeX RDF
9	Neil J. Robinson	Incremental Derivation of Abstraction Relations for Data Refinement.	ICFEM	2003	DBLP DOI BibTeX RDF
9	Maria Fasli	From Social Agents to Multi-agent Systems: Preliminary Report.	CEEMAS	2003	DBLP DOI BibTeX RDF
9	Nicholas J. Adams, Simon Haston, Nat Gillespie, Ann Macintosh	Conventional and Electronic Service Delivery within Public Authorities: The Issues and Lessons from the Private Sector.	EGOV	2003	DBLP DOI BibTeX RDF
9	Shmuel Katz, Marcelo Sihman	Aspect Validation Using Model Checking.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
9	Wan J. Fokkink, Jun Pang 0001	Cones and Foci for Protocol Verification Revisited.	FoSSaCS	2003	DBLP DOI BibTeX RDF
9	Sushil Jajodia	Recent Advances in Access Control Models.	WAIM	2003	DBLP DOI BibTeX RDF
9	Vandana Kabilan, Paul Johannesson, Dickson M. Rugaimukamu	Business Contract Obligation Monitoring through Use of Multi Tier Contract Ontology.	OTM Workshops	2003	DBLP DOI BibTeX RDF
9	Artem Katasonov, Markku Sakkinen	Information Quality Assessment of a Yellow-Pages Location-Based Service.	COMPSAC	2003	DBLP DOI BibTeX RDF
9	J Strother Moore	Inductive Assertions and Operational Semantics.	CHARME	2003	DBLP DOI BibTeX RDF
9	Taner Dursun, Bülent Örencik	POLICE: A Novel Policy Framework.	ISCIS	2003	DBLP DOI BibTeX RDF
9	José Meseguer 0001, Miguel Palomino, Narciso Martí-Oliet	Equational Abstractions.	CADE	2003	DBLP DOI BibTeX RDF
9	Sorin Lerner, Todd D. Millstein, Craig Chambers	Automatically proving the correctness of compiler optimizations.	PLDI	2003	DBLP DOI BibTeX RDF	automated correctness proofs, compiler optimization
9	Lilian Burdy, Antoine Requet	Extending B with Control Flow Breaks.	ZB	2003	DBLP DOI BibTeX RDF
9	Steve Dunne	Introducing Backward Refinement into B.	ZB	2003	DBLP DOI BibTeX RDF
9	Frédéric Peschanski, David Julien	When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets.	ZB	2003	DBLP DOI BibTeX RDF
9	Bertrand Meyer 0001	A Framework for Proving Contract-Equipped Classes.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
9	Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog	On the Verification of Cooperating Traffic Agents.	FMCO	2003	DBLP DOI BibTeX RDF
9	Maria Fasli	Social Interactions in Multi-agent Systems: A Formal Approach.	IAT	2003	DBLP DOI BibTeX RDF
9	Martin J. Kollingbaum, Timothy J. Norman	Norm Adoption and Consistency in the NoA Agent Architecture.	PROMAS	2003	DBLP DOI BibTeX RDF
9	Kyosuke Saigusa	Simulated APL session manager.	APL	2003	DBLP DOI BibTeX RDF
9	Douglas C. Sicker	Applying a Layered Policy Model to IP Based Voice Services.	HICSS	2003	DBLP DOI BibTeX RDF
9	Johann Schumann, Bernd Fischer 0002, Michael W. Whalen, Jon Whittle 0001	Certification Support for Automatically Generated Programs.	HICSS	2003	DBLP DOI BibTeX RDF
9	Peter F. Linington, Stephen W. Neal	Using Policies in the Checking of Business to Business Contracts.	POLICY	2003	DBLP DOI BibTeX RDF
9	Anas Abou El Kalam, Salem Benferhat, Alexandre Miège, Rania El Baida, Frédéric Cuppens, Claire Saurel, Philippe Balbiani, Yves Deswarte, Gilles Trouessin	Organization based access contro.	POLICY	2003	DBLP DOI BibTeX RDF
9	Gilles Goncalves, Fred Hemery, Aneta Poniszewska	Verification of Access Control Coherence in Information System during Modifications.	WETICE	2003	DBLP DOI BibTeX RDF
9	Christos Stergiou 0003, Geert Arys	A Policy Based Framework for Software Agents.	IEA/AIE	2003	DBLP DOI BibTeX RDF
9	Guido Boella, Leendert W. N. van der Torre	Local Policies for the Control of Virtual Communities.	Web Intelligence	2003	DBLP DOI BibTeX RDF
9	Glenn S. Wasson, Marty Humphrey	Policy and Enforcement in Virtual Organizations.	GRID	2003	DBLP DOI BibTeX RDF
9	Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne	Contract Representation for Run-time Monitoring and Enforcement.	CEC	2003	DBLP DOI BibTeX RDF
9	Sviatoslav B. Braynov, Tuomas Sandholm	Auctions with Untrustworthy Bidders.	CEC	2003	DBLP DOI BibTeX RDF
9	Maria Fasli	Reasoning about the dynamics of social behaviour.	AAMAS	2003	DBLP DOI BibTeX RDF	social interaction, modal logic, BDI agents
9	Nikolaos F. Matsatsinis	An intelligent decision support system for credit card assessment based on a machine learning technique.	Oper. Res.	2002	DBLP DOI BibTeX RDF	Credit Cards Evaluation, Machine Learning, Decision Support Systems
9	Serge Autexier, Dieter Hutter	Maintenance of Formal Software Developments by Stratified Verification.	LPAR	2002	DBLP DOI BibTeX RDF
9	Yogesh Deshpande, Anupama Chandrarathna, Athula Ginige	Web site auditing: first step towards re-engineering.	SEKE	2002	DBLP DOI BibTeX RDF	web site auditing, web site evaluation, web site reengineering, web site, web development
9	Marieke Huisman	Verification of Java's AbstractCollection Class: A Case Study.	MPC	2002	DBLP DOI BibTeX RDF
9	Albert C. Esterline	Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions.	FAABS	2002	DBLP DOI BibTeX RDF
9	Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer	The Development Graph Manager MAYA.	AMAST	2002	DBLP DOI BibTeX RDF
9	Rebecca E. Grinter, Leysia Palen	Instant messaging in teen life.	CSCW	2002	DBLP DOI BibTeX RDF	domestic information technology, qualitative user study, HCI, communications, CSCW, instant messaging, chat, teenagers
9	Michael W. Whalen, Johann Schumann, Bernd Fischer 0002	Synthesizing Certified Code.	FME	2002	DBLP DOI BibTeX RDF	automatic program synthesis, code certification, program verification, automated theorem proving, proof-carrying code
9	Sagar Chaki, Sriram K. Rajamani, Jakob Rehof	Types as models: model checking message-passing programs.	POPL	2002	DBLP DOI BibTeX RDF
9	Tak-John Koo, Shankar Sastry 0001	Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems.	HSCC	2002	DBLP DOI BibTeX RDF
9	Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps	Model-Based Development of Embedded Systems.	OOIS Workshops	2002	DBLP DOI BibTeX RDF
9	Henry Hexmoor, Gordon Beavers	In Search of Simple and Responsible Agents.	WRAC	2002	DBLP DOI BibTeX RDF
9	Henry Hexmoor	Evolution of Agent Architectures.	WRAC	2002	DBLP DOI BibTeX RDF
9	Bernhard K. Aichernig	Contract-Based Testing.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
9	Stuart Reges	SIGCSE 2002 forum: industry in the ivory tower.	SIGCSE	2002	DBLP DOI BibTeX RDF
9	Rolf Hennicker, Heinrich Hußmann, Michel Bidoit	On the Precise Meaning of OCL Constraints.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
9	Scott M. Pike, Nigamanth Sridhar	Early-Reply Components: Concurrent Execution with Sequential Reasoning.	ICSR	2002	DBLP DOI BibTeX RDF
9	Raya Leviathan, Amir Pnueli	Validating software pipelining optimizations.	CASES	2002	DBLP DOI BibTeX RDF	optimization, verification, compilers, pipeline processors, translation validation
9	Aloysius K. Mok, Weijiang Yu	TINMAN: A Resource Bound Security Checking System for Mobile Code.	ESORICS	2002	DBLP DOI BibTeX RDF
9	Pablo Noriega, Carles Sierra	Electronic Institutions: Future Trends and Challenges.	CIA	2002	DBLP DOI BibTeX RDF
9	Matthias Nickles, Michael Rovatsos, Gerhard Weiß 0001	A Schema for Specifying Computational Autonomy.	ESAW	2002	DBLP DOI BibTeX RDF
9	Zoran Milosevic, Audun Jøsang, Theodosis Dimitrakos, Mary Anne Patton	Discretionary Enforcement of Electronic Contracts.	EDOC	2002	DBLP DOI BibTeX RDF
9	Marek J. Sergot	A computational theory of normative positions.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	logic of action, logic of agency, theory of duties and rights, deontic logic, normative systems
9	Svend Frølund, Rachid Guerraoui	X-Ability: a theory of replication.	Distributed Comput.	2001	DBLP DOI BibTeX RDF	Exactly-once, Correctness condition, Replication, High-availability, Multi-tier systems
9	Francis Jambon, Patrick Girard 0002, Yamine Aït Ameur	Interactive System Safety and Usability Enforced with the Development Process.	EHCI	2001	DBLP DOI BibTeX RDF
9	Pertti Kellomäki	A Structural Embedding of Ocsid in PVS.	TPHOLs	2001	DBLP DOI BibTeX RDF
9	James F. Allen, George Ferguson, Amanda Stent	An architecture for more realistic conversational systems.	IUI	2001	DBLP DOI BibTeX RDF	architectures for intelligent, distributed, cooperative, multimodal interfaces, conversational systems
9	Rajeev Goré, Phuong Thê Nguyên	CardS4: Modal Theorem Proving on Java Smartcards.	E-smart	2001	DBLP DOI BibTeX RDF	security of mobile code, modal deduction
9	Hans Jonkers	Interface-Centric Architecture Descriptions.	WICSA	2001	DBLP DOI BibTeX RDF
9	Alistair G. Sutcliffe	Requirements Engineering for Complex Collaborative Systems.	RE	2001	DBLP DOI BibTeX RDF	discourse acts, communication, CSCW, requirements analysis
9	Kamalakar Karlapalem, Ajay R. Dani, P. Radha Krishna 0001	A Frame Work for Modeling Electronic Contracts.	ER	2001	DBLP DOI BibTeX RDF
9	Lai Xu 0001, Hans Weigand	The Evolution of the Contract Net Protocol.	WAIM	2001	DBLP DOI BibTeX RDF
9	Alessandro Armando, Luca Compagna, Silvio Ranise	System Description: RDL : Rewrite and Decision Procedure Laboratory.	IJCAR	2001	DBLP DOI BibTeX RDF
9	Apollònia Martínez Nadal, Josep Lluís Ferrer-Gomila	Liability of Certification Authorities: A Juridical Point of View.	ISC	2001	DBLP DOI BibTeX RDF
9	Susan Eisenbach, Chris Sadler	Changing Java Programs.	ICSM	2001	DBLP DOI BibTeX RDF	Distributed maintenance, binary compatibility, Java, version control, dynamic loading
9	Fausto Giunchiglia, Anna Perini, Fabrizio Sannicolò	Knowledge Level Software Engineering.	ATAL	2001	DBLP DOI BibTeX RDF
9	Rüdiger Grimm, Peter Ochsenschläger	Elektronische Verträge und ihre verbindliche Aushandlung - Ein formales Modell für verbindliche Telekooperation.	Inform. Forsch. Entwickl.	2000	DBLP DOI BibTeX RDF	Elektronischer Vertrag, verbindliche Phase, Verpflichtung, Kooperationsziel, Sog in das Ziel, Beweis, Verifikation, Theorie formaler Sprachen, formales Modell
9	Michael J. Butler	csp2B: A Practical Approach to Combining CSP and B.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Refinement, CSP, B Method
9	Murali Rangarajan, Iqbal Mutabanna, Darryl D. Dieckman, Badar Farooqi, Amitvikram Rajkhowa, Sarjoun Doumit, Arun Venkataraman, Cindy Kong, Roshan Kamath, Perry Alexander, Nael B. Abu-Ghazaleh	On the Design of ORBIT.	ECBS	2000	DBLP DOI BibTeX RDF	Heterogeneous tool integration, analysis of designs, design environment, hierarchical design
9	Cécile Canovas-Dumas, Paul Caspi	A PVS Proof Obligation Generator for Lustre Programs.	LPAR	2000	DBLP DOI BibTeX RDF
9	Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud	An Overview of RoZ: A Tool for Integrating UML and Z Specifications.	CAiSE	2000	DBLP DOI BibTeX RDF
9	Eric Meyer, Thomas Santen	Behavioral Conformance Verification in an Integrated Approach Using UML and B.	IFM	2000	DBLP DOI BibTeX RDF
9	Dominique Cansell, Dominique Méry, Stephan Merz	Predicate Diagrams for the Verification of Reactive Systems.	IFM	2000	DBLP DOI BibTeX RDF
9	Svend Frølund, Rachid Guerraoui	X-ability: a theory of replication.	PODC	2000	DBLP DOI BibTeX RDF
9	Rajeev Goré, Lan Duy Nguyen	CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security.	Java Card Workshop	2000	DBLP DOI BibTeX RDF	security of multi-application smart cards, applications of logics of knowledge and belief, modal theorem proving, tense logics
9	Jonathan K. Millen, Harald Rueß	Protocol-Independent Secrecy.	S&P	2000	DBLP DOI BibTeX RDF
9	Vishwa Prasad, Sreenivasa Potakamuri, Michael Ahern, Igor Balabine, Michah Lerner, Partha Dutta	Scalable Policy Driven and General Purpose Public Key Infrastructure (PKI).	ACSAC	2000	DBLP DOI BibTeX RDF	interoperable security infrastructure, AT? Labs, multiple certificate authorities, third-party CA systems, uniform enrollment procedures, Verisign, authenticated IP services, policy descriptions, certificate sources, X.509v3 certificates, CRML, PKCS, X509, XML, software architecture, authentication, public key cryptography, certification, client-server systems, public key infrastructure, revocation, intranets, message authentication, CRL, OCSP, middleware platform
9	Joseph M. Morris, Alexander Bunkenburg	Specificational functions.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	logic, function, expression, refinement calculus, nondeterminacy
9	Yann Rouzaud	Interpreting the B-Method in the Refinement Calculus.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
9	Xiaoping Jia, Sushant Sawant, Jiangyu Zhou, Sotiris Skevoulis	Detecting Null Pointer Violations in Java Programs.	COMPSAC	1999	DBLP DOI BibTeX RDF