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 |
|