|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 330 occurrences of 218 keywords
|
|
|
Results
Found 440 publication records. Showing 440 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Aleksandra Tesanovic, Dag Nyström, Jörgen Hansson, Christer Norström |
Towards Aspectual Component-Based Development of Real-Time Systems. |
RTCSA |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Razvan Diaconescu |
Behavioural Specification for Hierarchical Object Composition. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Michael González Harbour, José C. Palencia Gutiérrez |
Response Time Analysis for Tasks Scheduled under EDF within Fixed Priorities. |
RTSS |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Michael Backes 0001, Christian Cachin, Reto Strobl |
Proactive secure message transmission in asynchronous networks. |
PODC |
2003 |
DBLP DOI BibTeX RDF |
secure communication, proactive security |
12 | Dennis Hofheinz, Jörn Müller-Quade, Rainer Steinwandt |
Initiator-Resilient Universally Composable Key Exchange. |
ESORICS |
2003 |
DBLP DOI BibTeX RDF |
formal cryptography, universalcomposition, cryptographic protocols, key exchange |
12 | Johann Oberleitner, Thomas Gschwind, Mehdi Jazayeri |
The Vienna Component Framework Enabling Composition Across Component Models. |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Clemens A. Szyperski |
Component Technology - What, Where, and How?. |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Federico Bergenti |
Formalizing the Reusability of Software Agents. |
ESAW |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Juha Plosila, Tiberiu Seceleanu |
Specification of an Asynchronous On-chip Bus. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Jan Hannemann, Gregor Kiczales |
Design pattern implementation in Java and aspectJ. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
design patterns, aspect-oriented programming |
12 | Moti Yung |
Crypto-integrity. |
ASIACRYPT |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Joseph Sifakis |
Scheduler Modeling Based on the Controller Synthesis Paradigm. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Yasushi Shinjo, Kotaro Eiraku, Atsushi Suzuki, Kozo Itano, Calton Pu |
Enhancing Access Control with SysGuard, Reference Monitor Supporting Portable and Composable Kernel Module. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Ivan Damgård, Jesper Buus Nielsen |
Perfect Hiding and Perfect Binding Universally Composable Commitment Schemes with Constant Expansion Factor. |
CRYPTO |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Munindar P. Singh |
Services and Situations. |
IEEE Internet Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha |
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware. |
FME |
2001 |
DBLP DOI BibTeX RDF |
meta-object models, object-oriented applications, distributed systems, multimedia, theoretical foundations |
12 | Bo Zhang, Ke Ding, Jing Li |
An XML-message Based Architecture Description Language and Architectural Mismatch Checking. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
XML message, architectural mismatch, Software architecture, interface, architecture description language |
12 | Siddhartha Chatterjee, Erin Parker, Philip J. Hanlon, Alvin R. Lebeck |
Exact Analysis of the Cache Behavior of Nested Loops. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Boleslaw K. Szymanski, Gilbert Chen |
A Component Model for Discrete Event Simulation. |
PPAM |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
The Control of Synchronous Systems, Part II. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Peter Csaba Ölveczky, Mark Keaton, José Meseguer 0001, Carolyn L. Talcott, Steve Zabele |
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Michael V. Capps, Don McGregor, Donald P. Brutzman, Michael Zyda |
NPSNET-V: A New Beginning for Dynamically Extensible Virtual Environments. |
IEEE Computer Graphics and Applications |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Emre Kiciman, Armando Fox |
Using Dynamic Mediation to Integrate COTS Entities in a Ubiquitous Computing Environment. |
HUC |
2000 |
DBLP DOI BibTeX RDF |
Automatic Mediation, Ad-hoc Applications, Ubiquitous Computing, Service Composition, Software Infrastructure |
12 | Hessam S. Sarjoughian, Bernard P. Zeigler |
Models and representation of their ownership. |
WSC |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Janos Sztipanovits |
Software for Embedded Systems: Opportunities and Challenges. |
IEEE Real Time Technology and Applications Symposium |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Karine Altisen, Gregor Gößler, Joseph Sifakis |
A Methodology for the Construction of Scheduled Systems. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Reino Kurki-Suonio |
Component and Interface Refinement in Closed-System Specifications. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Luca Cardelli |
Wide Area Computation. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Hermann Kopetz |
Elementary versus Composite Interfaces in Distributed Real-Time Systems. |
ISADS |
1999 |
DBLP DOI BibTeX RDF |
temporal accuracy of data, Real-time system, interface, system design, time-triggered, client-server model |
12 | Juan Manuel Murillo, Juan Hernández Núñez, Fernando Sánchez, Luis A. Álvarez |
Coordinated Roles: Promoting Re-usability of Coordinated Active Objects Using Event Notification Protocols. |
COORDINATION |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Christian Ebner |
Efficiency evaluation of a time-triggered architecture for vehicle body-electronics. |
ECRTS |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Aamod Sane, Ashish Singhai, Roy H. Campbell |
Framework Design for End-to-End Optimization. |
ECOOP |
1998 |
DBLP DOI BibTeX RDF |
|
12 | T. S. E. Maibaum |
Conservative Extensions, Interpretations Between Theories and All That! |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Michael VanHilst, David Notkin |
Decoupling Change from Design. |
SIGSOFT FSE |
1996 |
DBLP DOI BibTeX RDF |
|
12 | Qi Shi 0001, Ning Zhang |
A General Approach to Evaluation of Secure Systems. |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
composable security properties, secure systems, matrices |
12 | Daryl McCullough |
A Hookup Theorem for Multilevel Security. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
user inferences, hookup theorem, trusted multilevel systems, hookup property, secure restrictive composite system, software engineering, security policy, security of data, multilevel security, inference control, composable, security property, restrictiveness, sensitive information |
12 | Guozhu Dong |
On the Composition and Decomposition of Datalog Program Mappings. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
12 | Axel Poigné, Josef Voss |
On the Implementation of Abstract Data Types by Programming Language Constructs. |
TAPSOFT, Vol.1 |
1985 |
DBLP DOI BibTeX RDF |
|
12 | T. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso |
Logical Specification and Implementation. |
FSTTCS |
1984 |
DBLP DOI BibTeX RDF |
|
12 | Hans-Dieter Ehrich |
On Realization and Implementation. |
MFCS |
1981 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #440 of 440 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5] |
|