|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1085 occurrences of 707 keywords
|
|
|
Results
Found 1391 publication records. Showing 1391 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
124 | Nathanael Schärli, Andrew P. Black, Stéphane Ducasse |
Object-oriented encapsulation for dynamically typed languages. |
OOPSLA |
2004 |
DBLP DOI BibTeX RDF |
encapsulation policies, information hiding, smalltalk, encapsulation, dynamic typing |
83 | Andreas Roth 0002 |
Specification and Verification of Encapsulation in Java Programs. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
82 | Takahiro Matsuda 0002, Goichiro Hanaoka, Kanta Matsuura, Hideki Imai |
An Efficient Encapsulation Scheme from Near Collision Resistant Pseudorandom Generators and Its Application to IBE-to-PKE Transformations. |
CT-RSA |
2009 |
DBLP DOI BibTeX RDF |
IND-CCA security, encapsulation, public key encryption, identity-based encryption, pseudorandom generator |
74 | Yi Lu 0003, John Potter |
Protecting representation with effect encapsulation. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
object encapsulation, representation exposure, types, ownership types, effect systems |
66 | David A. Naumann |
On assertion-based encapsulation for object invariants and simulations. |
Formal Aspects Comput. |
2007 |
DBLP DOI BibTeX RDF |
Object invariants, Encapsulation and abstraction, Separation and alias control |
58 | Wolfgang De Meuter, Éric Tanter, Stijn Mostinckx, Tom Van Cutsem, Jessie Dedecker |
Flexible object encapsulation for ambient-oriented programming. |
DLS |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Kin-Keung Ma, Jeffrey S. Foster |
Inferring aliasing and encapsulation properties for java. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
lending, ownership inference, uniqueness inference, uno, java, aliasing, encapsulation, ownership, uniqueness |
57 | Lei Wu 0002, Xiangxu Meng, Shijun Liu |
Service-oriented encapsulation of manufacturing resources. |
IEEE SCC |
2007 |
DBLP DOI BibTeX RDF |
service-oriented, encapsulation, Web Service Resource Framework (WSRF) |
57 | Yuan He, Tao Yu, Bin Shen |
Research on WSRF-Based Resource Management Model and Encapsulation in Manufacturing Grid. |
PROLAMAT |
2006 |
DBLP DOI BibTeX RDF |
Resource encapsulation, Web service, Resource management, WSRF, Manufacturing Grid (MG) |
57 | Jerome Miecznikowski, Laurie J. Hendren |
Decompiling Java Using Staged Encapsulation. |
WCRE |
2001 |
DBLP DOI BibTeX RDF |
Java Decompile Soot Dava Staged Encapsulation Sable |
51 | Michael Hollins, John Rosenberg, Michael Hitchens |
Subtyping and Protection in Persistent Programming Languages. |
HICSS (1) |
1997 |
DBLP DOI BibTeX RDF |
|
50 | Paolo Tonella |
Concept Analysis for Module Restructuring. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
modularization, reengineering, abstract data type, legacy systems, encapsulation, restructuring, Concept analysis |
49 | Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz, Roel Wuyts |
Composable Encapsulation Policies. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
49 | Jung Ha Hong, Oleg Gusak, Khosrow Sohraby, Neal Oliver |
Performance Analysis of Packet Encapsulation and Aggregation. |
MASCOTS |
2006 |
DBLP DOI BibTeX RDF |
batch service queues, quasi birth-death Markov chain, probability generating function, aggregation, Encapsulation |
49 | Antoine Beugnard |
Method overloading and overriding cause encapsulation flaw: an experiment on assembly of heterogeneous components. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
objet oriented language interoperability, software component, encapsulation |
49 | Martijn Stam |
A Key Encapsulation Mechanism for NTRU. |
IMACC |
2005 |
DBLP DOI BibTeX RDF |
Key Encapsulation, Random Oracle Model, NTRU, Plaintext Awareness |
49 | Manuel Barbosa, Pooya Farshim |
Efficient Identity-Based Key Encapsulation to Multiple Parties. |
IMACC |
2005 |
DBLP DOI BibTeX RDF |
Key Encapsulation Mechanism (KEM), Provable Security, Identity Based Cryptography, Hybrid Encryption |
49 | Michael R. Wick, Daniel E. Stevenson, Andrew T. Phillips |
Seven design rules for teaching students sound encapsulation and abstraction of object properties and member data. |
SIGCSE |
2004 |
DBLP DOI BibTeX RDF |
accessors, abstraction, mutators, encapsulation |
49 | Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira |
Ownership types for object encapsulation. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
object encapsulation, ownership types, software upgrades |
42 | Yuan He, Tao Yu, Lilan Liu, Bin Shen, Haiyang Sun |
A WSRF-Based Resource Management System of Manufacturing Grid. |
CCGRID |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Jon. Hallett |
Formulating Update Messages. |
ACM SIGPLAN Notices |
1995 |
DBLP DOI BibTeX RDF |
Smalltalk |
41 | Lei Wu 0002, Xiangxu Meng, Shijun Liu |
A Service-Oriented, Scalable Approach to Grid-Enabling of Manufacturing Resources. |
CDVE |
2007 |
DBLP DOI BibTeX RDF |
manufacturing resource, grid, service-oriented, encapsulation, Web Service Resource Framework (WSRF) |
41 | Stefan Wappler, Ina Schieferdecker |
Improving evolutionary class testing in the presence of non-public methods. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
object-orientation, unit testing, encapsulation, evolutionary testing |
41 | Andrew Waugh |
The design of the VERS encapsulated object experience with an archival information package. |
Int. J. Digit. Libr. |
2006 |
DBLP DOI BibTeX RDF |
Digital preservation, Encapsulation, OAIS |
41 | Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard |
Ownership types for safe programming: preventing data races and deadlocks. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
deadlocks, encapsulation, data races, ownership types |
41 | Xuandong Li, Guoliang Zheng |
A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
software maintenance, software reuse, inheritance, encapsulation, object-oriented programming languages |
41 | Chee-Hong Teh, Tat Chee Wan, Rahmat Budiarto, Way-Chuang Ang |
Unidirectional Lightweight Encapsulation with Header Compression for IP Based Satellite Communication over DVB-S. |
AINTEC |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Shinyoung Lim, Abdelsalam Helal |
Encapsulation and Entity-Based Approach of Interconnection Between Sensor Platform and Middleware of Pervasive Computing. |
UCS |
2006 |
DBLP DOI BibTeX RDF |
|
41 | David A. Naumann |
Assertion-Based Encapsulation, Object Invariants and Simulations. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
41 | James Noble 0001 |
Iterators and Encapsulation. |
TOOLS (33) |
2000 |
DBLP DOI BibTeX RDF |
|
41 | Michele Bugliesi, Hasan M. Jamil |
A Logic for Encapsulation in Object Oriented Languages. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
41 | Houari A. Sahraoui, Walcélio L. Melo, Hakim Lounis, F. Dumont |
Applying Concept Formation Methods to Object Identification in Procedural Code. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
concept formation methods, procedural code, legacy software systems, computer-supported approach, procedural software systems, modularity, flexibility, information hiding, reusability, maintainability, encapsulation, expandability, object-oriented technology, object identification, data encapsulation |
41 | Sahng-Mann Han |
Is OO Working as It Promised? |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
OO software development paradigm, operator polymorphism, reusable component libraries, software development time, business organisations, software engineering, data structures, object-oriented programming, software maintenance, software development, abstraction, requirements, inheritance, inheritance, reusability, object-oriented methods, encapsulation, business data processing, object-oriented paradigm, code size, data encapsulation, software applications |
41 | Hyun C. Kim, V. S. S. Nair |
Application layer software fault tolerance for distributed object-oriented systems. |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
application layer software fault tolerance, object failures, active object replication schemes, common interface, object-oriented programming, distributed processing, software fault tolerance, encapsulation, replicated objects, data encapsulation, distributed object-oriented systems, hardware failures |
40 | R. Paul Wiegand, Gautham Anil, Ivan I. Garibay, Ozlem O. Garibay, Annie S. Wu |
On the performance effects of unbiased module encapsulation. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
module encapsulation, search space bias, runtime analysis |
40 | Jong Hwan Park, Ki Tak Kim, Dong Hoon Lee 0001 |
Cryptanalysis and improvement of a multi-receiver identity-based key encapsulation at INDOCRYPT 06. |
AsiaCCS |
2008 |
DBLP DOI BibTeX RDF |
multi-receiver identity-based key encapsulation |
40 | David G. Clarke, Sophia Drossopoulou |
Ownership, encapsulation and the disjointness of type and effect. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
aliasing, encapsulation, ownership types, type-and-effects systems |
40 | Rebecca Matson |
Re-forming information: a case study in teaching content encapsulation. |
SIGDOC |
2001 |
DBLP DOI BibTeX RDF |
encapsulated content, information encapsulation, information design |
40 | Robert W. Bowdidge, William G. Griswold |
How Software Engineering Tools Organize Programmer Behavior During the Task of Data Encapsulation. |
Empir. Softw. Eng. |
1997 |
DBLP DOI BibTeX RDF |
empirical study, software tools, restructuring, data encapsulation |
40 | Charles Kindel |
COM: what makes it work, black-box encapsulation through multiple, immutable interfaces. |
EDOC |
1997 |
DBLP DOI BibTeX RDF |
commercial reality, black box-encapsulation, interface immutability, programming, multiple interfaces, component system, component object model, location transparency |
40 | Stuart H. Zweben, Stephen H. Edwards, Bruce W. Weide, Joseph E. Hollingsworth |
The Effects of Layering and Encapsulation on Software Development Cost and Quality. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
Empirical study, software development, software reuse, software components, abstract data types, encapsulation |
34 | Fagen Li, Masaaki Shirase, Tsuyoshi Takagi |
Identity-Based Hybrid Signcryption. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Asuman Dogac, Mehmet Altinel, Cetin Ozkan, Ilker Durusoy |
Implementation Aspects of an Object-Oriented DBMS. |
SIGMOD Rec. |
1995 |
DBLP DOI BibTeX RDF |
|
34 | Robert W. Bowdidge, William G. Griswold |
Automated Support for Encapsulating Abstract Data Types. |
SIGSOFT FSE |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Tony Gorschek, Ewan D. Tempero, Lefteris Angelis |
A large-scale empirical study of practitioners' use of object-oriented concepts. |
ICSE (1) |
2010 |
DBLP DOI BibTeX RDF |
inheritance depth, number of methods, survey, encapsulation |
33 | Manuel Barbosa, Pooya Farshim |
Secure Cryptographic Workflow in the Standard Model. |
INDOCRYPT |
2006 |
DBLP DOI BibTeX RDF |
Cryptographic Workflow, Key Encapsulation, Secret Sharing, Identity-Based Encryption |
33 | Donald Gordon, James Noble 0001, Robert Biddle |
ConstrainedJava. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
constraints, aliasing, encapsulation |
33 | Jakob Jonsson, Burton S. Kaliski Jr. |
On the Security of RSA Encryption in TLS. |
CRYPTO |
2002 |
DBLP DOI BibTeX RDF |
key encapsulation, RSA encryption, TLS |
33 | James Noble 0001, David G. Clarke, John Potter |
Object Ownership for Dynamic Alias Protection. |
TOOLS (32) |
1999 |
DBLP DOI BibTeX RDF |
object-orientation, aliasing, encapsulation, ownership |
33 | Naftaly H. Minsky |
Towards Alias-Free Pointers. |
ECOOP |
1996 |
DBLP DOI BibTeX RDF |
pointer-induced aliasing, hiding, programming with threads, storage management, encapsulation |
33 | Bruce A. Cota, Robert G. Sargent |
A Modification of the Process Interaction World View. |
ACM Trans. Model. Comput. Simul. |
1992 |
DBLP DOI BibTeX RDF |
process interaction, process world view, process-oriented simulation, modularity, encapsulation, parallel discrete event simulation, event-driven simulation, discrete event modeling |
33 | Hans-Dieter Ehrich, Amílcar Sernadas |
Algebraic Implementation of Objects over Objects. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
object morphisms, process morphisms, semantic fundamentals, algebraic implementation, refinement, processes, objects, extension, encapsulation, object-oriented systems, reification |
33 | Fagen Li, Masaaki Shirase, Tsuyoshi Takagi |
Efficient Signcryption Key Encapsulation without Random Oracles. |
Inscrypt |
2008 |
DBLP DOI BibTeX RDF |
Hybrid signcryption, KEM, tag-KEM, standard model |
33 | Kung-Kiu Lau, Faris M. Taweel |
Data Encapsulation in Software Components. |
CBSE |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Tatsuaki Okamoto |
Authenticated Key Exchange and Key Encapsulation in the Standard Model. |
ASIACRYPT |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Eike Kiltz |
Chosen-Ciphertext Secure Key-Encapsulation Based on Gap Hashed Diffie-Hellman. |
Public Key Cryptography |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Qiong Huang 0001, Duncan S. Wong |
Generic Certificateless Key Encapsulation Mechanism. |
ACISP |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Raphael C.-W. Phan, Serge Vaudenay |
Security-Preserving Asymmetric Protocol Encapsulation. |
ICISC |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Jan Bredereke |
On Feature Orientation and on Requirements Encapsulation Using Families of Requirements. |
Objects, Agents, and Features |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Marina Biberstein, Joseph Gil, Sara Porat |
Sealing, Encapsulation, and Mutability. |
ECOOP |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Toufik Ahmed, Guillaume Buridant, Ahmed Mehaoua |
Encapsulation and Marking of MPEG-4 Video Over IP Differentiated Services. |
ISCC |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Jun Sawada, Warren A. Hunt Jr. |
Hardware Modeling Using Function Encapsulation. |
FMCAD |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Mengchi Liu |
Incorporating Methods and Encapsulation into Deductive Object-Oriented Database Languages. |
DEXA |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Bobby Krupczak, Kenneth L. Calvert, Mostafa H. Ammar |
Protocol Portability through Module Encapsulation. |
ICNP |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Christian S. Collberg |
Distributed High-Level Module Binding for Flexible Encapsulation and Fast Inter-Modular Optimization. |
Programming Languages and System Architectures |
1994 |
DBLP DOI BibTeX RDF |
|
32 | Alfons Kemper, Christoph Kilger, Guido Moerkotte |
Function Materialization in Object Bases: Design, Realization, and Evaluation. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
function materialization, performance tuning measures, rematerialization, fine-grained control, data type implementor, classification, query processing, query processing, optimisation, object-oriented databases, database theory, information hiding, operational semantics, object-oriented languages, updates, encapsulation, access methods, indexing methods, GOM, optimization technique, object-oriented data models, relational database systems, object identity, data encapsulation, database programming languages, view materialization, object bases |
32 | Chooi-Tian Lee, Jack W. Harris |
Principle and Technique for Encapsulation of User Control and Data Information in Separate Frames. |
LCN |
1996 |
DBLP DOI BibTeX RDF |
real-time interactive multimedia services, data/media integration, separate frames, ATM protocol, application communication services, network communication services, user-data information, network-level, FAL protocol, traffic policing, frame adaptation layer protocol, World Wide Web, network protocols, encapsulation, secure communication, traffic shaping, telecommunication services, reliable communication, user control, communication services |
31 | Randy Kuang, Maria Perepechaenko |
Homomorphic polynomial public key encapsulation over two hidden rings for quantum-safe key encapsulation. |
Quantum Inf. Process. |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Martin Vassor |
Graphes de localités : une approche formelle à l'encapsulation et implémentation. (Location graphs : a formal approach to encapsulation and its implementation). |
|
2021 |
RDF |
|
31 | Géraldine Penven |
Encapsulation de dispositifs symbiotiques implantables : évaluation de la biocompatibilité et des performances. (Encapsulation of implantable symbiotic devices : evaluation of biocompatibility and performances). |
|
2016 |
RDF |
|
31 | Camille Teruel |
Adaptability and Encapsulation in Dynamically-Typed Languages: Taming Reflection and Extension Methods. (Adaptabilité et Encapsulation dans les Langages Dynamiquement Typés: Dompter la Réflexion et les Méthode d'Extension). |
|
2016 |
RDF |
|
31 | Janina Voigt, Warwick Irwin, Neville Churcher |
Class Encapsulation and Object Encapsulation - An Empirical Study. |
ENASE |
2010 |
DBLP BibTeX RDF |
|
31 | Pradosh Mohapatra, Eric C. Rosen |
The BGP Encapsulation Subsequent Address Family Identifier (SAFI) and the BGP Tunnel Encapsulation Attribute. |
RFC |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Godred Fairhurst, Bernhard Collini-Nocker |
Extension Formats for Unidirectional Lightweight Encapsulation (ULE) and the Generic Stream Encapsulation (GSE). |
RFC |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Marco Papaleo, Rosario Firrincieli, Stefano Cioni, Alessandro Vanelli-Coralli, Giovanni Emanuele Corazza, Ho-Jin Lee, Pansoo Kim |
Link Layer FEC in DVB-RCS: Performance Evaluation in nLoS Conditions. |
VTC Spring |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Patrick Eugster |
Type-based publish/subscribe: Concepts and experiences. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Java, distribution, Abstraction, generics, reflection, publish/subscribe, type |
25 | Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer 0002 |
Infering Ownership Types for Encapsulated Object-Oriented Program Components. |
Program Analysis and Compilation |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Assia Doudou, Benoît Garbinato, Rachid Guerraoui |
Encapsulating Failure Detection: From Crash to Byzantine Failures. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Glenn Maughan, Raphael Simon |
Mastering the Windows Eiffel Library. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Paolo Tonella |
Using the O-A Diagram to Encapsulate Dynamic Memory Access. |
ICSM |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Peter Wegner |
Granularity of modules in object-based concurrent systems. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Masayuki Abe, Rosario Gennaro, Kaoru Kurosawa |
Tag-KEM/DEM: A New Framework for Hybrid Encryption. |
J. Cryptol. |
2008 |
DBLP DOI BibTeX RDF |
Tag-KEM, Key encapsulation, Threshold encryption, Hybrid encryption |
25 | Ralph Acker, Christian Roth, Rudolf Bayer |
Parallel Query Processing in Databases on Multicore Architectures. |
ICA3PP |
2008 |
DBLP DOI BibTeX RDF |
relational dbms, intra-operator, inter-operator, scheduling, optimization, encapsulation, parallel query processing |
25 | Philipp Bouillon, Eric Großkinsky, Friedrich Steimann |
Controlling Accessibility in Agile Projects with the Access Modifier Modifier. |
TOOLS (46) |
2008 |
DBLP DOI BibTeX RDF |
Design, Refactoring, Tool support, Encapsulation, Agile software development |
25 | Tamar Benaya, Ela Zur |
Understanding Object Oriented Programming Concepts in an Advanced Programming Course. |
ISSEP |
2008 |
DBLP DOI BibTeX RDF |
Object Oriented Programming, Inheritance, Polymorphism, Encapsulation |
25 | Peter Tabeling, Rasmus Hofmann |
A Prototypical Platform for Architecture Oriented Development. |
ECBS |
2006 |
DBLP DOI BibTeX RDF |
FundamentalModeling Concepts, Software architecture, transactions, inheritance, polymorphism, encapsulation, data consistency, STAGE, FMC |
25 | Spyridon Triantafyllis, Matthew J. Bridges, Easwaran Raman, Guilherme Ottoni, David I. August |
A framework for unrestricted whole-program optimization. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
interprocedural optimization, procedure unification, region encapsulation, region formation, whole-program analysis, whole-program optimization, specialization, interprocedural analysis, inlining, path-sensitive analysis, superblock, region-based compilation |
25 | Neil Ongkingco, Pavel Avgustinov, Julian Tibble, Laurie J. Hendren, Oege de Moor, Ganesh Sittampalam |
Adding open modules to AspectJ. |
AOSD |
2006 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, modularity, encapsulation |
25 | Yu David Liu, Scott F. Smith 0001 |
Interaction-based programming with classages. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
classages, interaction, interface, encapsulation, relationship, confinement |
25 | Mark A. Holliday |
Animation of computer networking concepts. |
ACM J. Educ. Resour. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Selective Repeat, hypertext transfer protocol., media access, fragmentation, encapsulation, error control, Java applets, Protocol stack, CSMA/CD, name resolution |
25 | Peter R. King, Jocelyne Nanard, Marc Nanard |
Multimedia document engineering in MCF. |
ACM Symposium on Document Engineering |
2002 |
DBLP DOI BibTeX RDF |
modularity encapsulation, design, multimedia, reuse, abstraction, scenario, role, engineering |
25 | Anneke Kleppe, Jos Warmer |
Making UML Activity Diagrams Object-Oriented. |
TOOLS (33) |
2000 |
DBLP DOI BibTeX RDF |
UML metamodel, UML semantics, UML, constraints, information hiding, delegation, encapsulation, responsibility, activity diagram, pre- and postconditions, flow diagrams |
25 | Amir A. Khwaja |
Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
design rule checker, design rule checking systems, electronic design automation tools, semiconductor technology, DRC systems, DRC module, IC package design tool, object oriented modeling technique, abstraction, inheritance, extensibility, object oriented modeling, encapsulation, circuit CAD, dynamic binding, EDA tool |
25 | Ahmed Mehaoua, Raouf Boutaba, Guy Pujolle |
An adaptive and selective cell drop policy with dynamic data partitioning for best effort video over ATM. |
LCN |
1997 |
DBLP DOI BibTeX RDF |
selective cell drop policy, dynamic data partitioning, best effort video, ATM best effort services, MPEG based video delivery framework, unspecified bit rate, video oriented cell discarding scheme, switch buffer occupancy, video cell payload types, dynamic frame level priority data partition mechanism, MPEG data structure, enhanced ATM Adaptation Layer type 5, slice based MPEG2 encapsulation strategy, video delivery framework, real MPEG video data, asynchronous transfer mode, available bit rate |
25 | Michael V. Mannino, Injun Choi, Don S. Batory |
The Object-Oriented Functional Data Language. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
object-oriented functional data language, interactive strongly typed database programming language, O/sup 2/FDL, equational notation, strong typing, type restrictions, type variables, function interfaces, monotonic subtype rule, function redefinition, extended lambda -calculus, software engineering, software engineering, object oriented programming, object-oriented programming, functional programming, inheritance, operational semantics, object-oriented languages, relational algebra, encapsulation, high level languages, denotational semantics |
25 | José Luiz Fiadeiro, T. S. E. Maibaum |
Describing, Structuring and Implementing Objects. |
REX Workshop |
1990 |
DBLP DOI BibTeX RDF |
object specification, specification morphism, interpretation between theories, action logic, concurrency, locality, encapsulation, deontic logic |
25 | Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul N. Hilfinger, Izumi Kimura, Ralph L. London, Jonathan Rosenberg, William A. Wulf |
Validating The Utility Of Abstraction Techniques. |
ACM Annual Conference (1) |
1978 |
DBLP DOI BibTeX RDF |
Abstraction and representation, Verification, Formal specification, Validation, Programming languages, Correctness, Types, Abstract data types, Encapsulation, Programming methodology, Proofs of correctness, Modular decomposition |
24 | Kung-Kiu Lau, Mario Ornaghi |
Control Encapsulation: A Calculus for Exogenous Composition of Software Components. |
CBSE |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Paulo Moura |
From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Michel Abdalla, Dario Catalano, Dario Fiore 0001 |
Verifiable Random Functions from Identity-Based Key Encapsulation. |
EUROCRYPT |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1391 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|