Search results for "encapsulation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Henry M. Gladney	Trustworthy 100-year digital objects: Evidence after every witness is dead.	ACM Trans. Inf. Syst.	2004	DBLP DOI BibTeX RDF
8	Tom Goff, Dhananjay S. Phatak	Unified transport layer support for data striping and host mobility.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
8	Fethi Filali, Ghassane Aniba, Walid Dabbous	Efficient support of IP multicast in the next generation of GEO Satellites.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
8	A. M. Gorelik	Object-Oriented Programming in Modern Fortran.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
8	Patrick Th. Eugster, Rachid Guerraoui	Distributed Programming with Typed Events.	IEEE Softw.	2004	DBLP DOI BibTeX RDF	Java, events, Distributed programming, publish-subscribe, type safety
8	Christoph Lüth, Markus Roggenbach, Lutz Schröder	CCC - The Casl Consistency Checker.	WADT	2004	DBLP DOI BibTeX RDF
8	Ming Chen 0004, Guangwen Yang, Yongwei Wu, Xuezheng Liu	Paramecium: Assembling Raw Nodes into Composite Cells.	NPC	2004	DBLP DOI BibTeX RDF
8	Gustavo J. Bobeff, Jacques Noyé	Component specialization.	PEPM	2004	DBLP DOI BibTeX RDF	component generator, program slicing, partial evaluation, component-based software development
8	Tommi Mikkonen, Risto Pitkänen, Mika Pussinen	On the Role of Architectural Style in Model Driven Development.	EWSA	2004	DBLP DOI BibTeX RDF
8	Zoran Majkic	Meta Many-Valued Logic Programming for Incomplete and Locally Inconsistent Databases.	IDEAS	2004	DBLP DOI BibTeX RDF
8	Gilad Bracha, David M. Ungar	Mirrors: design principles for meta-level facilities of object-oriented programming languages.	OOPSLA	2004	DBLP DOI BibTeX RDF	java, reflection, smalltalk, metaprogramming, mirrors, self
8	Leigh A. Davis, Rose F. Gamble	Understanding Services for Integration Management.	ICCBSS	2004	DBLP DOI BibTeX RDF
8	Faress Tissafi-Drissi, Ian O'Connor, Frédéric Gaffiot	RUNE: Platform for Automated Design of Integrated Multi-Domain Systems. Application to High-Speed CMOS Photoreceiver Front-Ends.	DATE	2004	DBLP DOI BibTeX RDF
8	David A. Naumann, Michael Barnett 0001	Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State.	LICS	2004	DBLP DOI BibTeX RDF
8	Yuliang Shi, Liang Zhang 0019, Baile Shi	Exception Handling of Workflow for Web Services.	CIT	2004	DBLP DOI BibTeX RDF	web services, workflow, Exception handling
8	Gul Agha, Prasanna Thati	An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
8	Miguel Pérez-Ramírez, Chris Fox	Agents Interpreting Imperative Sentences.	CICLing	2004	DBLP DOI BibTeX RDF
8	Radu Marinescu 0001, Daniel Ratiu	Quantifying the Quality of Object-Oriented Design: The Factor-Strategy Model.	WCRE	2004	DBLP DOI BibTeX RDF
8	Miguel Pérez-Ramírez, Chris Fox	The Role of Imperatives in Inference, Agents, and Actions.	MICAI	2004	DBLP DOI BibTeX RDF
8	Seung-Jin Baek	Scalable Local Mobility Support for the IPv6-Based Wireless Network Using Improved Host Based Routing.	ECUMN	2004	DBLP DOI BibTeX RDF	Host Based Routing, Mobility Management, Mobile IP, Micro-mobility
8	Arthur Segard, François Verdier	SOC and RTOS: Managing IPs and Tasks Communications.	FPL	2004	DBLP DOI BibTeX RDF
8	Marc Conrad, Tim French 0001	Using the synergies between the object-oriented paradigm and mathematics in joint mathematics/computer science programs.	ITiCSE	2004	DBLP DOI BibTeX RDF	education, object oriented programming, computer algebra, mathematics
8	Kathryn S. McKinley	Polar opposites: next generation languages and architectures.	Memory System Performance	2004	DBLP DOI BibTeX RDF
8	Thomas J. Ashby, Anthony D. Kennedy, Michael F. P. O'Boyle	Cross Component Optimisation in a High Level Category-Based Language.	Euro-Par	2004	DBLP DOI BibTeX RDF
8	Sriram Krishnan, Dennis Gannon	XCAT3: A Framework for CCA Components as OGSA Services.	HIPS	2004	DBLP DOI BibTeX RDF	Babel, XSOAP, GSX, Web Services, Grids, Components, OGSA, CCA, OGSI
8	Jia Zhang 0001, Carl K. Chang, Jeffrey M. Voas	A Uniform Meta-Model for Mediating Formal Electronic Conferences.	COMPSAC	2004	DBLP DOI BibTeX RDF	Formal electronic conferences, Robert´s Rules of Order, meta-model, uniformity
8	Manuel I. Capel Tuñón, Mario Rossainz López	A Parallel Programming Methodology based on High Level Parallel Compositions (CPANs).	CONIELECOMP	2004	DBLP DOI BibTeX RDF
8	Phil Ventura, Bina Ramamurthy	Wanted: CS1 students. no experience required.	SIGCSE	2004	DBLP DOI BibTeX RDF	predictors of success, prior programming experience, object-oriented programming, CS1, curriculum, object oriented-design, objects-first
8	Cüneyt Bayilmis, Ismail Erturk, Celal Ceken	Wireless Interworking Independent CAN Segments.	ISCIS	2004	DBLP DOI BibTeX RDF
8	Tae-Dong Lee, Seung-Hun Yoo, Chang-Sung Jeong	HLA-Based Object-Oriented Modeling/Simulation for Military System.	AsiaSim	2004	DBLP DOI BibTeX RDF
8	Bhushan Bauskar, Boleslaw Mikolajczak	Modeling inheritance anomaly in concurrent systems using colored Petri nets.	SMC (5)	2004	DBLP DOI BibTeX RDF
8	Frank Wagner 0003	Blog Perspectives.	Metainformatics	2004	DBLP DOI BibTeX RDF
8	Tae-Dong Lee, Seung-Hun Yoo, Chang-Sung Jeong	Design and Implementation of GPDS.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
8	Praveen Kaushik Sharma, Joseph P. Loyall, George T. Heineman, Richard E. Schantz, Richard Shapiro, Gary Duzan	Component-Based Dynamic QoS Adaptations in Distributed Real-Time and Embedded Systems.	CoopIS/DOA/ODBASE (2)	2004	DBLP DOI BibTeX RDF
8	Faye F. Liu, Jidong Wang, Tharam S. Dillon	An Object-Oriented Approach on Web Information Representation and Derivation.	EEE	2004	DBLP DOI BibTeX RDF
8	Seung-Jin Baek, Jong-Tae Park 0001	Efficient Micro-Mobility Support for Wireless Network Using Improved Host-Based Routing.	EUC	2004	DBLP DOI BibTeX RDF
8	Jiwu Shu, Bing Yu, Rui Yan	Design and Implementation of a Non-volatile RAM Disk in the SAN Environment.	GCC Workshops	2004	DBLP DOI BibTeX RDF
8	Bodo Möller	A Public-Key Encryption Scheme with Pseudo-random Ciphertexts.	ESORICS	2004	DBLP DOI BibTeX RDF
8	Patrick Th. Eugster, Christian Heide Damm, Rachid Guerraoui	Towards Safe Distributed Application Development.	ICSE	2004	DBLP DOI BibTeX RDF
8	Jay Nelson	Structured programming using processes.	Erlang Workshop	2004	DBLP DOI BibTeX RDF	COPL, concurrency oriented programming language, inductive decomposition, erlang
8	Ivan Krsul, Arijit Ganguly, Jian Zhang 0005, José A. B. Fortes, Renato J. O. Figueiredo	VMPlants: Providing and Managing Virtual Machine Execution Environments for Grid Computing.	SC	2004	DBLP DOI BibTeX RDF
8	Joa Sang Lim, Seung Ryul Jeong, Min Cheol Whang, Yongjoo Cho	Practical Investigation into the Maintainability of Object-Oriented Systems for Mission Critical Business.	ADVIS	2004	DBLP DOI BibTeX RDF
8	Kaoru Kurosawa, Yvo Desmedt	A New Paradigm of Hybrid Encryption Scheme.	CRYPTO	2004	DBLP DOI BibTeX RDF	KEM, standard model, hybrid encryption
8	Hermann Kopetz	An Integrated Architecture for Dependable Embedded Systems.	SRDS	2004	DBLP DOI BibTeX RDF
8	Mok Pak Lun, Anthony S. Fong, Gary K. W. Hau	Object-oriented processor requirements with instruction analysis of Java programs.	SIGARCH Comput. Archit. News	2003	DBLP DOI BibTeX RDF
8	Zoltán Richard Turányi, András Gergely Valkó, Andrew T. Campbell	4+4: an architecture for evolving the Internet address space back toward transparency.	Comput. Commun. Rev.	2003	DBLP DOI BibTeX RDF
8	Susan Darling Urban, Taoufik Ben Abdellatif, Suzanne W. Dietrich, Amy Sundermier	Delta Abstractions: A Technique for Managing Database States in Runtime Debugging of Active Database Rules.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	object deltas, rule analysis and debugging, Active database systems
8	Wah-Chun Chan, Jiann-Liang Chen, Po-Tsang Lin, Ka-Chin Yen	Quality-of-Service in IP Services over Bluetooth Ad-Hoc Networks.	Mob. Networks Appl.	2003	DBLP DOI BibTeX RDF	Bluetooth-IP access system, BNEP protocol, quality of service, resource allocation, handoff
8	Panagiotis Manolios, J Strother Moore	Partial Functions in ACL2.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	ACL2, partial functions
8	Mark Kent O'Keeffe, Mel Ó Cinnéide	A stochastic approach to automated design improvement.	PPPJ	2003	DBLP BibTeX RDF	automated design improvement, simulated annealing, refactoring, object-oriented design metrics
8	Vijayshankar Raman, Amol Deshpande, Joseph M. Hellerstein	Using State Modules for Adaptive Query Processing.	ICDE	2003	DBLP DOI BibTeX RDF
8	Tian Zhao 0002, Jens Palsberg, Jan Vitek	Lightweight confinement for featherweight Java.	OOPSLA	2003	DBLP DOI BibTeX RDF	confined types, aliasing, ownership
8	Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman	Lazy modular upgrades in persistent object stores.	OOPSLA	2003	DBLP DOI BibTeX RDF	presistent objects, ownership types, software upgrades
8	Carl Alphonce, Phil Ventura	Using graphics to support the teaching of fundamental object-oriented principles in CS1.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	NGP, Java, object-orientation, CS1, graphics
8	William A. Gruver, Dilip B. Kotak, Edwin H. van Leeuwen, Douglas H. Norrie	Holonic Manufacturing Systems: Phase II.	HoloMAS	2003	DBLP DOI BibTeX RDF
8	Uwe Aßmann, Johan Lövdahl	Integrating Graph Rewriting and Standard Software Tools.	AGTIVE	2003	DBLP DOI BibTeX RDF
8	Mok Pak Lun, Anthony S. Fong, Gary K. W. Hau	Object-oriented processor requirements with instruction analysis of Java programs.	ISICT	2003	DBLP BibTeX RDF
8	Kaiman Lo, Pak Lun Mok, Wing Shing Yu, Anthony S. Fong	Hardware support for user-access control on an object-oriented processor.	ISICT	2003	DBLP BibTeX RDF
8	Stephan Klaus, Sorin A. Huss	A Novel Specification Model for IP-based Design.	DSD	2003	DBLP DOI BibTeX RDF
8	Jo Erskine Hannay	Abstraction Barrier-Observing Relational Parametricity.	TLCA	2003	DBLP DOI BibTeX RDF
8	Shengchao Qin, Jin Song Dong, Wei-Ngan Chin	A Semantic Foundation for TCOZ in Unifying Theories of Programming.	FME	2003	DBLP DOI BibTeX RDF	UTP, integrated formal specifications, semantics
8	Maxim Mossienko	Automated Cobol to Java Recycling.	CSMR	2003	DBLP DOI BibTeX RDF
8	David G. Clarke, Sophia Drossopoulou, James Noble 0001	Aliasing, Confinement, and Ownership in Object-Oriented Programming.	ECOOP Workshops	2003	DBLP DOI BibTeX RDF
8	Juliusz Jezierski, Mariusz Masewicz, Robert Wrembel, Bogdan D. Czejdo	Designing Storage Structures for Management of Materialised Methods in Object-Oriented Databases.	OOIS	2003	DBLP DOI BibTeX RDF
8	Tae-Dong Lee, Bom-Jae Jeon, Chang-Sung Jeong, Sang-Yong Choi	RISA: Object-Oriented Modeling and Simulation of Real-Time Distributed System for Air Defense.	OOIS	2003	DBLP DOI BibTeX RDF
8	Jörn Guy Süß, Andreas Leicher, Fadi Chabarek	Software Model Engineering and Reuse with the Evolution and Validation Environment.	FIDJI	2003	DBLP DOI BibTeX RDF
8	Ismail Erturk	Transporting CAN Messages over WATM.	RSFDGrC	2003	DBLP DOI BibTeX RDF
8	Alexandre Denis 0001, Christian Pérez, Thierry Priol, André Ribes	Padico: A Component-Based Software Infrastructure for Grid Computing.	IPDPS	2003	DBLP DOI BibTeX RDF	parallelism, Grids, software component, high performance networks, middleware system
8	Paul Roe	Web Objects: Towards a Web Based Model of Distributed Computing.	IPDPS	2003	DBLP DOI BibTeX RDF
8	Radha Jagadeesan, Alan Jeffrey, James Riely	A Calculus of Untyped Aspect-Oriented Programs.	ECOOP	2003	DBLP DOI BibTeX RDF
8	Mark Utting, Shaochun Wang	Object Orientation without Extending Z.	ZB	2003	DBLP DOI BibTeX RDF
8	Christos Kloukinas, Chaker Nakhli, Sergio Yovine	A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications.	EMSOFT	2003	DBLP DOI BibTeX RDF
8	Aluízio Haendchen Filho, Arndt von Staa, Carlos José Pereira de Lucena	A Component-Based Model for Building Reliable Multi-Agent Systems.	SEW	2003	DBLP DOI BibTeX RDF	agent reliability, MAS quality control, multi-agent systems, agent framework
8	Eric Y. H. Chen	A Neurocomputational Model of Early Psychosis.	KES	2003	DBLP DOI BibTeX RDF
8	Guizhen Yang, Michael Kifer, Chang Zhao	Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web.	OTM	2003	DBLP DOI BibTeX RDF
8	Yuan Zhang, Moon-Jung Chung, Hyun Kim	Layer-Based Access Control Model in the Manufacturing Infrastructure and Design Automation System.	ICISC	2003	DBLP DOI BibTeX RDF	security, collaboration, Access control, virtual enterprise, task assignment
8	Bin Zhen, Jonghun Park, Yongsuk Kim	Scatternet Formation of Bluetooth Ad Hoc Networks.	HICSS	2003	DBLP DOI BibTeX RDF
8	Karl M. Göschka, Helmut Reis, Robert Smeikal	XML Based Robust Client-Server Communication for a Distributed Telecommunication Management System.	HICSS	2003	DBLP DOI BibTeX RDF
8	Tianchi Ma, Shanping Li	Secure Grid-Based Mobile Agent Platform by Instance-Oriented Delegation.	GCC (1)	2003	DBLP DOI BibTeX RDF
8	Pekka Pääkkönen, Juhani Latvakoski	IPv6 Prefix Delegation-Based Addressing Solution for a Mobile Personal Area Network.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
8	Matthias Book, Volker Gruhn	A Dialog Control Framework for Hypertext-Based Applications.	QSIC	2003	DBLP DOI BibTeX RDF
8	Oscar Díaz, Salvador Trujillo, Iker Azpeitia	User-Facing Web Service Development: A Case for a Product-Line Approach.	TES	2003	DBLP DOI BibTeX RDF
8	Denis Jouvin, Salima Hassas	Dynamic Multi-agent Architecture Using Conversational Role Delegation.	AOSE	2003	DBLP DOI BibTeX RDF
8	Shinyoung Lim, Sangseung Kang, Joo-Chan Sohn	Modeling of Multiple Agent based Cryptographic Key Recovery Protocol.	ACSAC	2003	DBLP DOI BibTeX RDF
8	Giuditta Franco, Vincenzo Manca	A Membrane System for the Leukocyte Selective Recruitment.	Workshop on Membrane Computing	2003	DBLP DOI BibTeX RDF
8	Eliezer Dekel, Oleg Frenkel, Gera Goft, Yosef Moatti	Easy: Engineering High Availability QoS in wServices.	SRDS	2003	DBLP DOI BibTeX RDF
8	Juan Manuel González Nieto, Kapali Viswanathan, Colin Boyd, Andrew J. Clark, Ed Dawson	Key recovery for the commercial environment.	Int. J. Inf. Sec.	2002	DBLP DOI BibTeX RDF	Commercial key recovery, Software key recovery, Key management, Key escrow
8	Alex C. Snoeren, Craig Partridge, Luis A. Sanchez, Christine E. Jones, Fabrice Tchakountio, Beverly Schwartz, Stephen T. Kent, W. Timothy Strayer	Single-packet IP traceback.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	network fault diagnosis, IP, denial of service (DoS), wide-area networks (WANs), computer network management, IP traceback, computer network security
8	Michael R. Wick, Andrew T. Phillips	Comparing the template method and strategy design patterns in a genetic algorithm application.	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF
8	Jagdish Bansiya, Carl G. Davis	A Hierarchical Model for Object-Oriented Design Quality Assessment.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	quality attributes, quality model, object-oriented metrics, product metrics, design metrics
8	Alexander Perez-Pons	Temporal abstract classes and virtual temporal specifications for real-time systems.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	Temporal constraint specification, real-time systems, inheritance
8	Stuart Eichert, Osman N. Ertugay, Dan M. Nessett, Suresh Vobbilisetty	Commercially Viable Active Networking.	ACM SIGOPS Oper. Syst. Rev.	2002	DBLP DOI BibTeX RDF	Internet
8	Mengchi Liu, Gillian Dobbie, Tok Wang Ling	A logical foundation for deductive object-oriented databases.	ACM Trans. Database Syst.	2002	DBLP DOI BibTeX RDF	nonmonotonic multiple inheritance, object-oriented databases, deductive databases, Declarative semantics, rule-based languages
8	Massimo Cossentino, Piermarco Burrafato, Saverio Lombardo, Luca Sabatucci	Introducing Pattern Reuse in the Design of Multi-agent Systems.	Agent Technologies, Infrastructures, Tools, and Applications for E-Services	2002	DBLP DOI BibTeX RDF
8	Alden W. Jackson, James P. G. Sterbenz, Matthew Condell, Regina Hain	Active Network Monitoring and Control: The SENCOMM Architecture and Implementation.	DANCE	2002	DBLP DOI BibTeX RDF
8	D. S. Tuch	Mapping cortical connectivity with diffusion MRI.	ISBI	2002	DBLP DOI BibTeX RDF
8	Johannes Sametinger, Matthias Riebisch	Evolution Support by Homogeneously Documenting Patterns, Aspects and Traces.	CSMR	2002	DBLP DOI BibTeX RDF	design pattern, evolution, documentation, object-oriented design, maintenance, traceability, javadoc
8	T. T. Lee, Tie-Fei Liu, Pei-lin Mao, P. Wu, B. W. Lee, B. J. Ng, L. K. See	An object-oriented automated SPC analysis and reporting system for powder manufacturing in the specialty chemical plants.	ICARCV	2002	DBLP DOI BibTeX RDF
8	Ismail Erturk	Remote access of CAN nodes used in a traffic control system to a central management unit over wireless ATM.	MWCN	2002	DBLP DOI BibTeX RDF
8	Catalin Amza, Gianna Reggio	A Notation for Component-Based Design of Java Applications.	FIDJI	2002	DBLP DOI BibTeX RDF