|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 574 occurrences of 408 keywords
|
|
|
Results
Found 837 publication records. Showing 837 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
9 | Maria Fasli |
On the relationship between roles and power: preliminary report. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Vasileios Koutavas, Mitchell Wand |
Small bisimulations for reasoning about higher-order imperative programs. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
higher-order procedures, bisimulations, lambda-calculus, imperative languages, contextual equivalence |
9 | Luis Cortés, Hayde Castellanos, Sergio Rafael Coria Olguin, Varinia M. Estrada, Fernanda López, Isabel López, Iván Meza, Iván Moreno, Patricia Pérez, Carlos Rodríguez 0003 |
Balancing Transactions in Practical Dialogues. |
CICLing |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Jerzy Konorski |
Anonymous Agreed Order Multicast: Performance and Free Riding. |
ICDCIT |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Patrick van Bommel, Stijn Hoppenbrouwers, Henderik Alex Proper, Theo P. van der Weide |
Exploring Modelling Strategies in a Meta-modelling Context. |
OTM Workshops (2) |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Vipin Swarup, Len Seligman, Arnon Rosenthal |
A Data Sharing Agreement Framework. |
ICISS |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Matthieu Sozeau |
Subset Coercions in Coq. |
TYPES |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Jean-Marie Orset, Ana R. Cavalli |
A Security Model for OLSR MANET Protocol. |
MDM |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Joachim Hans Fröhlich, Manuel Schwarzinger |
Improve Component-Based Programs with Connectors. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet |
JACK - A Tool for Validation of Security and Behaviour of Java Applications. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
9 | I Made Andi Arsana, Chris Rizos, Clive Schofield |
The Application of GIS in Maritime Boundary Delimitation. |
3D-GIS |
2006 |
DBLP DOI BibTeX RDF |
maritime boundaries, delimitation, United Nations Convention on the Law of the Sea, geographic information system |
9 | Guido Boella, Rossana Damiano, Joris Hulstijn, Leendert W. N. van der Torre |
The Roles of Roles in Agent Communication Languages. |
IAT |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Piotr Kosiuczenko |
Specification of Invariability in OCL. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Michael J. C. Gordon, James Reynolds, Warren A. Hunt Jr., Matt Kaufmann |
An Integration of HOL and ACL2. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Fang Pu, Daoqing Sun, Qiying Cao, Haibin Cai, Fan Yang |
Pervasive Computing Context Access Control Based on UCON_ABC Model. |
IIH-MSP |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Ulle Endriss |
Temporal Logics for Representing Agent Communication Protocols. |
AC |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Robert C. Kremer, Roberto A. Flores |
Flexible Conversations Using Social Commitments and a Performatives Hierarchy. |
AC |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Souhila Kaci, Leendert W. N. van der Torre |
Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms. |
DEON |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Alexander Artikis, Lloyd Daniel Kamara, Jeremy Pitt |
A Norm-Governed Systems Perspective of Ad Hoc Networks. |
ESAW |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Andrés García-Camino, Pablo Noriega, Juan A. Rodríguez-Aguilar |
An Algorithm for Conflict Resolution in Regulated Compound Activities. |
ESAW |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Kyrre M. Begnum, Mark Burgess, John A. Sechrest |
Adaptive provisioning using virtual machines and autonomous role-based management. |
ICAS |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Divakar Yadav, Michael J. Butler |
Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Silvio Ranise, Calogero G. Zarba |
A Theory of Singly-Linked Lists and its Extensible Decision Procedure. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos |
Norm-oriented programming of electronic institutions. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
multi-agent system programming, norms, electronic institutions |
9 | Boris Shishkov, Dick A. C. Quartel |
Combining SDBC and ISDL in the Modeling and Refinement of Business Processes. |
ICEIS (Selected Papers) |
2006 |
DBLP DOI BibTeX RDF |
SDBC, ISDL, Refinement, System design, Business process modeling |
9 | Sugato Bagchi, Xue Bai, Jayant Kalagnanam |
Data Quality Management using Business Process Modeling. |
IEEE SCC |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu, Jaehong Park |
Formal model and policy specification of usage control. |
ACM Trans. Inf. Syst. Secur. |
2005 |
DBLP DOI BibTeX RDF |
Access control, formal specification, security policy, usage control |
9 | Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth 0002, Steffen Schlager, Peter H. Schmitt |
The KeY tool. |
Softw. Syst. Model. |
2005 |
DBLP DOI BibTeX RDF |
Java, UML, Formal specification, Formal verification, Design patterns, Object-oriented design, OCL |
9 | Annabelle McIver, Carroll Morgan |
Abstraction and refinement in probabilistic systems. |
SIGMETRICS Perform. Evaluation Rev. |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani |
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures. |
J. Autom. Reason. |
2005 |
DBLP DOI BibTeX RDF |
Satisfiability module theory, Integrated decision procedures, Linear arithmetic logic, Propositional satisfiability |
9 | Victoria Ungureanu |
Using certified policies to regulate E-commerce transactions. |
ACM Trans. Internet Techn. |
2005 |
DBLP DOI BibTeX RDF |
Contract terms, Scalability, Enforcement |
9 | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani |
Efficient Satisfiability Modulo Theories via Delayed Theory Combination. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Cyrus Shahabi, Farnoush Banaei Kashani |
Modelling Peer-to-Peer Data Networks Under Complex System Theory. |
DNIS |
2005 |
DBLP DOI BibTeX RDF |
|
9 | 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 |
|
9 | Zheng Li, Jun Han 0004, Yan Jin |
Pattern-Based Specification and Validation of Web Services Interaction Properties. |
ICSOC |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Robert Demolombe, Maria del Pilar Pozos Parra |
The Chisholm Paradox and the Situation Calculus. |
ISMIS |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Ninh-Thuan Truong, Jeanine Souquières |
Verification of behavioural elements of UML models using B. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
UML, verification, metamodel, B, proof obligation |
9 | Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
On Superposition-Based Satisfiability Procedures and Their Combination. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Johan Muskens, Reinder J. Bril, Michel R. V. Chaudron |
Generalizing Consistency Checking between Software Views. |
WICSA |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Alessandro Armando, Luca Compagna, Silvio Ranise |
Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Dieter Hutter, Serge Autexier |
Formal Software Development in MAYA. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Travis D. Breaux, Annie I. Antón |
Mining rule semantics to understand legislative compliance. |
WPES |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Sukyoung Ryu, Norman Ramsey |
Source-Level Debugging for Multiple Languages with Modest Programming Effort. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Jelena Zdravkovic, Vandana Kabilan |
Enabling Business Process Interoperability Using Contract Workflow Models. |
OTM Conferences (1) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Kate Webster, David Dyar |
Using a database-driven website to track sensitive data use. |
SIGUCCS |
2005 |
DBLP DOI BibTeX RDF |
database-driven, interactive, tracking, project management, sensitive, data, website |
9 | William J. Morokoff |
Simulation of risk and return profiles for portfolios of CDO tranches. |
WSC |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Zoran Milosevic |
Towards Integrating Business Policies with Business Processes. |
Business Process Management |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Ewen Denney, Bernd Fischer 0002 |
Certifiable Program Generation. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Luiz Camolesi Jr., Luiz Eduardo Galvão Martins |
A Model for Interaction Rules to Define Governance Policies in Collaborative Environments. |
CSCWD (Selected papers) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Steve Dunne, Stacey Conroy |
Process Refinement in B. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Pontus Boström, Marina Waldén |
An Extension of Event B for Developing Grid Systems. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Jesús San-Miguel-Ayanz, Guido Schmuck, Robert Flies, Ernst Schulte, Ignacio Seoane |
Towards a Forest Information System for Europe. |
DEXA Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Héctor Ruíz Barradas, Didier Bert |
A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
unity logic, weak fairness, minimal progress, set transformer, fairness, action systems, Liveness properties, fixpoints, event systems |
9 | Pontus Boström, Marina Waldén |
Development of Fault Tolerant Grid Applications Using Distributed B. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
Fault tolerance, Grid computing, Domain specific languages, Language extensions, Event B, Stepwise development |
9 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Leveraging Eclipse for integrated model-based engineering of web service compositions. |
eTX |
2005 |
DBLP DOI BibTeX RDF |
web service choreography, web service composition and orchestration, model checking, verification, standards, validation, implementation, service design, Eclipse plug-in |
9 | Jomi Fred Hübner, Olivier Boissier, Jaime Simão Sichman |
Using a Multi-Agent Organization Description Language to describe contract dynamics in virtual enterprises. |
IAT |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Maria Fasli |
On the Interplay of Roles and Power. |
IAT |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Jan Camenisch, Abhi Shelat, Dieter Sommer, Simone Fischer-Hübner, Marit Hansen, Henry Krasemann, Gérard Lacoste, Ronald Leenes, Jimmy C. Tseng |
Privacy and identity management for everyone. |
Digital Identity Management |
2005 |
DBLP DOI BibTeX RDF |
anonymous transactions, privacy, protocols, identity management, credentials |
9 | Venu K. Murthy, E. V. Krishnamurthy |
Contextual information management using contract: based workflow. |
Conf. Computing Frontiers |
2005 |
DBLP DOI BibTeX RDF |
ambient intelligent computing environment (AmI), chemical-reactivity properties, contextual management, contract-based workflow, intention - context-action protocol, agents |
9 | Adrian Paschke, Martin Bichler |
SLA Representation, Management and Enforcement. |
EEE |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Andrea Omicini, Alessandro Ricci, Mirko Viroli |
Time-Aware Coordination in ReSpecT. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Cecilia E. Nugraheni |
Universal Properties Verification of Parameterized Parallel Systems. |
ICCSA (3) |
2005 |
DBLP DOI BibTeX RDF |
parameterized parallel system, verification, formal method, temporal logics, diagram |
9 | Pedro Gama, Paulo Ferreira 0001 |
Obligation Policies: An Enforcement Platform. |
POLICY |
2005 |
DBLP DOI BibTeX RDF |
|
9 | J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog |
An Audit Logic for Accountability. |
POLICY |
2005 |
DBLP DOI BibTeX RDF |
|
9 | John Knottenbelt, Keith Clark |
Contract-Related Agents. |
CLIMA |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Guido Boella, Leendert W. N. van der Torre |
Constitutive Norms in the Design of Normative Multiagent Systems. |
CLIMA |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin |
Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Yan Jin, Jun Han 0004 |
Runtime Validation of Behavioural Contracts for Component Software. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Aleksander Binemann-Zdanowicz, Bernhard Thalheim, Klaus-Dieter Schewe, Jane Zhao |
Quality Assurance in the Design of Web Information Systems. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
Quality Design, Refinement, Abstract State Machines, Web Information Systems |
9 | Tim Trew |
Enabling the Smooth Integration of Core Assets: Defining and Packaging Architectural Rules for a Family of Embedded Products. |
SPLC |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Giovanni Camponovo, Davide Cerutti |
WLAN Communities and Internet Access Sharing: A Regulatory Overview. |
ICMB |
2005 |
DBLP DOI BibTeX RDF |
|
9 | David Aspinall 0001, Kenneth MacKenzie |
Mobile Resource Guarantees and Policies. |
CASSIS |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Ulrich Faisst, Oliver Prokein |
An Optimization Model for the Management of Security Risks in Banking Companies. |
CEC |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman |
Exploiting suspected redundancy without proving it. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
correctness-preserving transformations, sequential equivalence, sequential redundancy removal, checking |
9 | Christophe Garion, Leendert W. N. van der Torre |
Design by Contract Deontic Design Language for Multiagent Systems. |
AAMAS Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
9 | 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 |
9 | Guido Boella, Joris Hulstijn, Yao-Hua Tan, Leendert W. N. van der Torre |
Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation. |
AAMAS Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Francesco Viganò, Nicoletta Fornara, Marco Colombetti |
An Event Driven Approach to Norms in Artificial Institutions. |
AAMAS Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Jeremy V. Pitt, Lloyd Daniel Kamara, Marek J. Sergot, Alexander Artikis |
Formalization of a voting protocol for virtual organizations. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
multi-agent systems, voting, virtual organizations |
9 | Francesco Viganò, Nicoletta Fornara, Marco Colombetti |
An operational approach to norms in artificial institutions. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
artificial institutions, commitments, norms, ACLs |
9 | Rossella Rubino, Andrea Omicini, Enrico Denti |
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts. |
AAMAS Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Dino Pedreschi, Salvatore Ruggieri |
Bounded Nondeterminism of Logic Programs. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
universal termination, bounded nondeterminism, strong termination, logic programming |
9 | Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth |
Contract-Checking Wrappers for C++ Classes. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
Assertion checkers, binary components, class invariants, specification, preconditions, design by contract, postconditions, debugging aids, coding techniques |
9 | Ninh-Thuan Truong, Jeanine Souquières |
An Approach for the Verification of UML Models Using B. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Christoph Lüth, Markus Roggenbach, Lutz Schröder |
CCC - The Casl Consistency Checker. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Anand Patwardhan, Vlad Korolev, Lalana Kagal, Anupam Joshi |
Enforcing Policies in Pervasive Environments. |
MobiQuitous |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Andrzej Uszok, Jeffrey M. Bradshaw, Renia Jeffers, Austin Tate, Jeff Dalton 0002 |
Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment. |
ISWC |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Michael Backes 0001, Günter Karjoth, Walid Bagga, Matthias Schunter |
Efficient comparison of enterprise privacy policies. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
policy comparison, privacy policy |
9 | Leon Bobrowski, Mariusz Buzun, Karol Przybszewski |
Integration of Public Information at the Regional Level - Challenges and Opportunities. |
EGOV |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Ahti Saarenpää |
Information and Law in the Constitutional State. |
EGOV |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Alexander Artikis, Lloyd Daniel Kamara, Jeremy Pitt, Marek J. Sergot |
A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Ewen Denney, Ram Prasad Venkatesan |
A Generic Software Safety Document Generator. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Sushil Jajodia, Duminda Wijesekera |
A Flexible Authorization Framework for E-Commerce. |
ICDCIT |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Adam Barth, John C. Mitchell, Justin Rosenstein |
Conflict and combination in privacy policy languages. |
WPES |
2004 |
DBLP DOI BibTeX RDF |
policy combination, privacy policy |
9 | Andrea H. Tapia, Lynette Kvasny |
Recruitment is never enough: retention of women and minorities in the IT workplace. |
CPR |
2004 |
DBLP DOI BibTeX RDF |
workplace diversity, retention, recruitment, women, minorities |
9 | Marc Esteva, Wamberto Weber Vasconcelos, Carles Sierra, Juan A. Rodríguez-Aguilar |
Norm Consistency in Electronic Institutions. |
SBIA |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Gérard Le Lann |
Time-Utility Scheduling and Provably Correct Critical Computer-Based Systems. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Xinwen Zhang, Jaehong Park, Francesco Parisi-Presicce, Ravi S. Sandhu |
A logical specification for usage control. |
SACMAT |
2004 |
DBLP DOI BibTeX RDF |
logic specification, access control, security policy, usage control |
9 | Guido Boella, Leendert W. N. van der Torre |
Attributing mental attitudes to roles: the agent metaphor applied to e-trade organizations. |
ICEC |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Maria Fasli |
Accounting for Social Order in Multi-Agent Systems: Preliminary Report. |
IAT |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 837 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|