Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Horst F. Wedde, Mario Lischka |
Cooperative role-based administration. |
SACMAT |
2003 |
DBLP DOI BibTeX RDF |
Petri-Nets, modularity, composability, work-flow |
19 | Ivan Damgård, Jens Groth |
Non-interactive and reusable non-malleable commitment schemes. |
STOC |
2003 |
DBLP DOI BibTeX RDF |
signature, commitment, one-way function, universal composability, non-malleability |
19 | Horst F. Wedde, Mario Lischka |
Modular authorization. |
SACMAT |
2001 |
DBLP DOI BibTeX RDF |
modularity, authorization, role-based access control, conflicts, composability, violations |
19 | Hermann Kopetz |
Software engineering for real-time: a roadmap. |
ICSE - Future of SE Track |
2000 |
DBLP DOI BibTeX RDF |
distributed systems, real-time systems, validation, system architecture, composability |
19 | John S. Heidemann, Gerald J. Popek |
File-System Development with Stackable Layers. |
ACM Trans. Comput. Syst. |
1994 |
DBLP DOI BibTeX RDF |
file system design, operating system structure, reuse, composability |
12 | Yehuda Afek, Adam Morrison 0001, Moran Tzafrir |
Brief announcement: view transactions: transactional model with relaxed consistency checks. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
relaxed consistency checks, transactional memory, opacity |
12 | Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota |
FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis. |
VLDB J. |
2009 |
DBLP DOI BibTeX RDF |
QoS, Web services, Composition, Dependability, Failure, Distributed execution, Transaction model |
12 | Yukyong Kim, Kyung-Goo Doh |
Formal Identification of Right-Grained Services for Service-Oriented Modeling. |
WISE |
2009 |
DBLP DOI BibTeX RDF |
business process model, graph clustering, UML activity diagram, Service identification, service granularity |
12 | M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto |
Universally composable contributory group key exchange. |
AsiaCCS |
2009 |
DBLP DOI BibTeX RDF |
universal composition, contributiveness, group key exchange |
12 | Ralf Küsters, Max Tuengerthal |
Computational soundness for key exchange protocols with symmetric encryption. |
CCS |
2009 |
DBLP DOI BibTeX RDF |
simulation-based security, cryptographic protocols, computational soundness |
12 | Renuka Sindhgatta, Bikram Sengupta, Karthikeyan Ponnalagu |
Measuring the Quality of Service Oriented Design. |
ICSOC/ServiceWave |
2009 |
DBLP DOI BibTeX RDF |
Service Design Principles, Metrics, Business Process Model, Service Design |
12 | Seung Geol Choi, Dana Dachman-Soled, Tal Malkin, Hoeteck Wee |
Simple, Black-Box Constructions of Adaptively Secure Protocols. |
TCC |
2009 |
DBLP DOI BibTeX RDF |
|
12 | S. Farhat, Greg Simco, Frank J. Mitropoulos |
Refining and reasoning about nonfunctional requirements. |
ACM Southeast Regional Conference |
2009 |
DBLP DOI BibTeX RDF |
software engineering, aspect-oriented programming, nonfunctional requirements |
12 | Chungman Seo, Bernard P. Zeigler |
Automating the DEVS modeling and simulation interface to web services. |
SpringSim |
2009 |
DBLP BibTeX RDF |
dynamic web service invocation, web service execution language, web services, DEVS, WSDL |
12 | Xueqiang Gong, Jing Liu 0012, Miaomiao Zhang, Jueliang Hu |
Formal Analysis of Services Compatibility. |
COMPSAC (2) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Bruno C. d. S. Oliveira |
Modular Visitor Components. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Aggelos Kiayias, Hong-Sheng Zhou |
Zero-Knowledge Proofs with Witness Elimination. |
Public Key Cryptography |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Athanasios Bamis, Andreas Savvides |
STFL: a spatio temporal filtering language with applications in assisted living. |
PETRA |
2009 |
DBLP DOI BibTeX RDF |
human activity monitoring, spatiotemporal filtering, actuation, assisted living |
12 | Michel Abdalla, Céline Chevalier, David Pointcheval |
Smooth Projective Hashing for Conditionally Extractable Commitments. |
CRYPTO |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Michael Backes 0001, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters |
Conditional reactive simulatability. |
Int. J. Inf. Sec. |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Marcos André Gonçalves, Edward A. Fox, Layne T. Watson |
Towards a digital library theory: a formal digital library ontology. |
Int. J. Digit. Libr. |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Marcin Poturalski, Panagiotis Papadimitratos, Jean-Pierre Hubaux |
Towards provable secure neighbor discovery in wireless networks. |
FMSE |
2008 |
DBLP DOI BibTeX RDF |
secure neighbor discovery, relay attack, wireless networks security |
12 | George Feuerlicht |
Design of Composable Services. |
ICSOC Workshops |
2008 |
DBLP DOI BibTeX RDF |
service assembly, service reuse, Service composition |
12 | Davide Rossi, Elisa Turrini |
EPML: an executable process modeling language for process-aware applications. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
coordination models and languages, process-aware applications, process modeling |
12 | Aggelos Kiayias, Hong-Sheng Zhou |
Equivocal Blind Signatures and Adaptive UC-Security. |
TCC |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Zef Hemel, Lennart C. L. Kats, Eelco Visser |
Code Generation by Model Transformation. |
ICMT@TOOLS |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Mike Burmester, Breno de Medeiros, Rossana Motta |
Provably Secure Grouping-Proofs for RFID Tags. |
CARDIS |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Jiuyun Xu, Stephan Reiff-Marganiec |
Towards Heuristic Web Services Composition Using Immune Algorithm. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Martin Danek, Jiri Kadlec, Roman Bartosinski, Lukas Kohout |
Increasing the level of abstraction in FPGA-based designs. |
FPL |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Xiaoyu Zhang 0006, Denis Gracanin |
Service-Oriented-Architecture based framework for multi-user virtual environments. |
WSC |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Moris Behnam, Insik Shin, Thomas Nolte, Mikael Nolin |
An Overrun Method to Support Composition of Semi-independent Real-Time Components. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Logical resource sharing, Real time systems, Composition, Hierarchical scheduling |
12 | Christian Hofer, Klaus Ostermann, Tillmann Rendel, Adriaan Moors |
Polymorphic embedding of dsls. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
pure embedding, domain-specific languages, extensibility, compositionality, algebraic semantics, scala |
12 | Heiko Pfeffer, David Linner, Stephan Steglich |
Dynamic Adaptation of Workflow Based Service Compositions. |
ICIC (1) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Nishanth Chandran, Vipul Goyal, Amit Sahai |
New Constructions for UC Secure Computation Using Tamper-Proof Hardware. |
EUROCRYPT |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Tal Moran, Gil Segev 0001 |
David and Goliath Commitments: UC Computation for Asymmetric Parties Using Tamper-Proof Hardware. |
EUROCRYPT |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Katarzyna Rycerz, Marian Bubak, Peter M. A. Sloot |
Dynamic Interactions in HLA Component Model for Multiscale Simulations. |
ICCS (2) |
2008 |
DBLP DOI BibTeX RDF |
distributed multiscale simulation, Grid computing, Components, HLA, problem solving environments |
12 | Michel Abdalla, Dario Catalano, Céline Chevalier, David Pointcheval |
Efficient Two-Party Password-Based Key Exchange Protocols in the UC Framework. |
CT-RSA |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Yanyan Wang, Antonio Carzaniga, Alexander L. Wolf |
Four enhancements to automateddistributed system experimentation methods. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
experiment automation, distributed systems, planetlab, emulab |
12 | Tiziana Catarci, Febo Cincotti, Massimiliano de Leoni, Massimo Mecella, Giuseppe Santucci |
Smart Homes for All: Collaborating Services in a for-All Architecture for Domotics. |
CollaborateCom |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Yevgeniy Dodis, Victor Shoup, Shabsi Walfish |
Efficient Constructions of Composable Commitments and Zero-Knowledge Proofs. |
CRYPTO |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Jeffrey M. Voas |
A Baker's Dozen: 13 Software Engineering Challenges. |
IT Prof. |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Théodore Marescaux, Erik Brockmeyer, Henk Corporaal |
The Impact of Higher Communication Layers on NoC Supported MP-SoCs. |
NOCS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Robin E. Bloomfield, Bev Littlewood, David Wright 0001 |
Confidence: Its Role in Dependability Cases for Risk Assessment. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Tal Moran, Moni Naor |
Split-ballot voting: everlasting privacy with distributed trust. |
CCS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Saurabh Mittal, José Luis Risco-Martín, Bernard P. Zeigler |
DEVS-based simulation web services for net-centric T&E. |
SCSC |
2007 |
DBLP BibTeX RDF |
DEVSML, SOADEVS, T&E, web services, XML, DEVS |
12 | G. R. Gangadharan, Michael Weiss 0001, Vincenzo D'Andrea, Renato Iannella |
Service License Composition and Compatibility Analysis. |
ICSOC |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Madhukar Anand, Sebastian Fischmeister, Insup Lee 0001 |
Composition Techniques for Tree Communication Schedules. |
ECRTS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao |
A Note on Universal Composable Zero Knowledge in Common Reference String Model. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Catriona M. Kennedy, Georgios Theodoropoulos 0001, Edward Ferrari, Peter Lee 0003, Chris Skelcher |
Towards an Automated Approach to Dynamic Interpretation of Simulations. |
Asia International Conference on Modelling and Simulation |
2007 |
DBLP DOI BibTeX RDF |
|
12 | David Kensche, Christoph Quix, Yong Li, Matthias Jarke |
Generic Schema Mappings. |
ER |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Sander Evers, Maarten M. Fokkinga, Peter M. G. Apers |
Composable Markov Building Blocks. |
SUM |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Xianfei Tang, Changjun Jiang, Zhijun Ding |
Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Suresh Jagannathan |
Weaving Atomicity Through Dynamic Dependence Tracking. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Kathy Dang Nguyen, P. S. Thiagarajan, Weng-Fai Wong |
A UML-Based Design Framework for Time-Triggered Applications. |
RTSS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Jonathan Katz |
Universally Composable Multi-party Computation Using Tamper-Proof Hardware. |
EUROCRYPT |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Wei-Jen Li, Salvatore J. Stolfo, Angelos Stavrou, Elli Androulaki, Angelos D. Keromytis |
A Study of Malcode-Bearing Documents. |
DIMVA |
2007 |
DBLP DOI BibTeX RDF |
Sandbox Diversity, Intrusion Detection, N-gram |
12 | Hasnain A. Mandviwala, Umakishore Ramachandran, Kathleen Knobe |
Capsules: Expressing Composable Computations in a Parallel Programming Model. |
LCPC |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Erik Elmroth, Francisco Hernández-Rodriguez, Johan Tordsson, Per-Olov Östberg |
Designing Service-Based Resource Management Tools for a Healthy Grid Ecosystem. |
PPAM |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Upsorn Praphamontripong, Swapna S. Gokhale, Aniruddha S. Gokhale, Jeffrey G. Gray |
Performance Analysis of a Middleware Demultiplexing Pattern. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Dong Liu 0016, Ralph Deters |
BUST: enabling scalable service orchestration. |
Infoscale |
2007 |
DBLP DOI BibTeX RDF |
performance, SOA, scalability, service, multithreading, BPEL, queueing model, service orchestration |
12 | Peter Csaba Ölveczky, José Meseguer 0001, Carolyn L. Talcott |
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. |
Formal Methods Syst. Des. |
2006 |
DBLP DOI BibTeX RDF |
Real-time systems, Active networks, Formal analysis, Rewriting logic, Object-oriented specification, Multicast protocols |
12 | George Feuerlicht |
Service Aggregation Using Relational Operations on Interface Parameters. |
ICSOC Workshops |
2006 |
DBLP DOI BibTeX RDF |
service design, relational operations, service aggregation |
12 | William D. Gropp |
Where Does MPI Need to Grow? |
PVM/MPI |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Akash Kumar 0001, Bart Mesman, Henk Corporaal, Jef L. van Meerbergen, Yajun Ha |
Global Analysis of Resource Arbitration for MPSoC. |
DSD |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Ran Canetti, Jonathan Herzog |
Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols. |
TCC |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Douglas Wikström, Jens Groth |
An Adaptively Secure Mix-Net Without Erasures. |
ICALP (2) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Clemens A. Szyperski |
Composing with Style - Components Meet Architecture. |
QoSA |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota |
Dependability and Flexibility Centered Approach for Composite Web Services Modeling. |
OTM Conferences (1) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Alex Breuer, Peter Gottschling, Douglas P. Gregor, Andrew Lumsdaine |
Effecting parallel graph eigensolvers through library composition. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante |
Composing Web Services with PEWS: A Trace-Theoretical Approach. |
ECOWS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Tal Moran, Moni Naor |
Polling with Physical Envelopes: A Rigorous Analysis of a Human-Centric Protocol. |
EUROCRYPT |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh |
On the (Im-)Possibility of Extending Coin Toss. |
EUROCRYPT |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Uirá Kulesza, Vander Alves, Alessandro F. Garcia 0001, Carlos José Pereira de Lucena, Paulo Borba |
Improving Extensibility of Object-Oriented Frameworks with Aspect-Oriented Programming. |
ICSR |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Patricia López Martínez, Julio L. Medina, José M. Drake |
Real-Time Modelling of Distributed Component-Based Applications. |
EUROMICRO-SEAA |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Awais Rashid, Ana Moreira 0001 |
Domain Models Are NOT Aspect Free. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Michael Backes 0001, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters |
Conditional Reactive Simulatability. |
ESORICS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Craig Gentry, Philip D. MacKenzie, Zulfikar Ramzan |
A Method for Making Password-Based Key Exchange Resilient to Server Compromise. |
CRYPTO |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Jianchun Fan, Subbarao Kambhampati |
A snapshot of public web services. |
SIGMOD Rec. |
2005 |
DBLP DOI BibTeX RDF |
World Wide Web (WWW) |
12 | Laura Bocchi, Paolo Ciancarini, Rocco Moretti, Valentina Presutti, Davide Rossi |
An OWL-S based approach to express grid services coordination. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan |
On the Relationships Between Notions of Simulation-Based Security. |
TCC |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Debmalya Biswas, K. Vidyasankar |
Spheres of Visibility. |
ECOWS |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Hessam S. Sarjoughian, Dongping Huang, Gary W. Godding, Karl G. Kempf, Wenlin Wang, Daniel E. Rivera, Hans D. Mittelmann |
Hybrid discrete event simulation with model predictive control for semiconductor supply-chain manufacturing. |
WSC |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Robert G. Bartholet, David C. Brogan, Paul F. Reynolds Jr. |
The computational complexity of component selection in simulation reuse. |
WSC |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Hung-Ying Tyan, Ahmed Sobeih, Jennifer C. Hou |
Towards Composable and Extensible Network Simulation. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Dennis Hofheinz, Dominique Unruh |
On the Notion of Statistical Security in Simulatability Definitions. |
ISC |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Mårten Trolin |
A Universally Composable Scheme for Electronic Cash. |
INDOCRYPT |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Debmalya Biswas, Krishnamurthy Vidyasankar |
Monitoring for Hierarchical Web Services Compositions. |
TES |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha |
A formal model for reasoning about adaptive QoS-enabled middleware. |
ACM Trans. Softw. Eng. Methodol. |
2004 |
DBLP DOI BibTeX RDF |
meta-object models, quality-of-service, multimedia, reflection, actors, theoretical foundations, Middleware services |
12 | Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt |
An OCL Formulation of UML2 Template Binding. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Juan A. Garay |
Efficient and Universally Composable Committed Oblivious Transfer and Applications. |
TCC |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Shin-ya Katsumata |
A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
12 | George T. Edwards, Gan Deng, Douglas C. Schmidt, Aniruddha S. Gokhale, Balachandran Natarajan |
Model-Driven Configuration and Deployment of Component Middleware Publish/Subscribe Services. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
Real-time Publish/subscribe Service, Component Middleware, Model-based Systems, CORBA Component Model |
12 | Mira Mezini, Klaus Ostermann |
A Comparison of Program Generation with Aspect-Oriented Programming. |
UPP |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Cheng Xie, Wenzhi Chen, Jiaoying Shi |
Pcanel: a model driven component framework. |
SMC (6) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | J. Mark Pullen, Ryan Brunton, Donald P. Brutzman, David Drake, Michael R. Hieb, Katherine L. Morse, Andreas Tolk |
Using Web Services to Integrate Heterogeneous Simulations in a Grid Environment. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Nikolaos Georgantas, Sonia Ben Mokhtar, Ferda Tartanoglu, Valérie Issarny |
Semantics-Aware Services for the Mobile Computing Environment. |
WADS |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Brahim Medjahed, Athman Bouguettaya, Ahmed K. Elmagarmid |
Composing Web services on the Semantic Web. |
VLDB J. |
2003 |
DBLP DOI BibTeX RDF |
Ontology, Web services, Semantic Web, Service composition |
12 | Dimane Mpoeleng, Paul D. Ezhilchelvan, Neil A. Speirs |
From Crash Tolerance to Authenticated Byzantine Tolerance: A Structured Approach, the Cost and Benefits. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
Authenticated Byzantine failures, fail- signal, CORBA, group communication, self-checking, total order, State machine replication |
12 | Barry G. Silverman, Michael Johns, Ransom Weaver, Joshua Mosley |
Authoring Edutainment Stories for Online Players (AESOP): Introducing Gameplay into Interactive Dramas. |
International Conference on Virtual Storytelling |
2003 |
DBLP DOI BibTeX RDF |
videogame generator, stealth learning, agent ap- proach, training, interactive drama, role-playing games |
12 | Ross J. Anderson |
What We Can Learn from API Security. |
Security Protocols Workshop |
2003 |
DBLP DOI BibTeX RDF |
|