Search results for "encapsulation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Chik How Tan	Insider-secure Signcryption KEM/Tag-KEM Schemes without Random Oracles.	ARES	2008	DBLP DOI BibTeX RDF	Signcryption KEM scheme, Signcryption Tag-KEM scheme
8	Mircea Trifu	Using Dataflow Information for Concern Identification in Object-Oriented Software Systems.	CSMR	2008	DBLP DOI BibTeX RDF
8	Dave Clarke 0001, Sophia Drossopoulou, Peter Müller 0001, James Noble 0001, Tobias Wrigstad	Aliasing, Confinement, and Ownership in Object-Oriented Programming.	ECOOP Workshops	2008	DBLP DOI BibTeX RDF
8	Hermann Helbig, Ingo Glöckner, Rainer Osswald	Layer Structures and Conceptual Hierarchies in Semantic Representations for NLP.	CICLing	2008	DBLP DOI BibTeX RDF
8	Peter Ebraert	First-Class Change Objects for Feature-Oriented Programming.	WCRE	2008	DBLP DOI BibTeX RDF
8	Huai-Jen Liu, Pang-Shih Liu	Hierarchical Routing Architecture for Integrating IPv4 and IPv6 Networks.	APSCC	2008	DBLP DOI BibTeX RDF
8	Jun Ma 0015, Jiangchun Ren, Zhiying Wang 0003, Yaokai Zhu	Research of a Secure File System for Protection of Intellectual Property Right.	WAIM	2008	DBLP DOI BibTeX RDF
8	Martin Danek, Jiri Kadlec, Roman Bartosinski, Lukas Kohout	Increasing the level of abstraction in FPGA-based designs.	FPL	2008	DBLP DOI BibTeX RDF
8	José San Pedro	Fobs: an open source object-oriented library for accessing multimedia content.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	api, fobs, multimedia access, object oriented, format, codec
8	Han Wan, Xiaopeng Gao	ArmSim: A Complete System Simulation Environment of the ARM Embedded System.	ITNG	2008	DBLP DOI BibTeX RDF
8	Takashi Matsunaka, Takayuki Warabino, Yoji Kishi	Secure Data Sharing in Mobile Environments.	MDM	2008	DBLP DOI BibTeX RDF	mobile computing, data sharing, threshold cryptography
8	Kate Sanders 0001, Jonas Boustedt, Anna Eckerdal, Robert McCartney, Jan Erik Moström, Lynda Thomas, Carol Zander	Student understanding of object-oriented programming as expressed in concept maps.	SIGCSE	2008	DBLP DOI BibTeX RDF	object-oriented, cs1, concept maps, empirical research
8	Ricky E. Sward	SP1: service oriented architecture (SOA) concepts and implementations for Ada.	SIGAda	2008	DBLP DOI BibTeX RDF	software engineering, service oriented architecture, reliability, ada, software, languages, systems, web server, enterprise service bus, high integrity
8	Lidia Fuentes, Nadia Gámez, Pablo Sánchez 0002	Aspect-Oriented Executable UML Models for Context-Aware Pervasive Applications.	MOMPES	2008	DBLP DOI BibTeX RDF
8	Wyatt Spear, Allen D. Malony, Alan Morris, Sameer Shende	Performance Tool Workflows.	ICCS (3)	2008	DBLP DOI BibTeX RDF
8	Fang Huang 0001, Dingsheng Liu, Guoqing Li, Yi Zeng, Yunxuan Yan	Study on Implementation of High-Performance GIServices in Spatial Information Grid.	ICCS (2)	2008	DBLP DOI BibTeX RDF	Spatial Information Grid (SIG), GIServices, GRASS GIS, Cluster
8	Raymond P. L. Buse, Westley Weimer	Automatic documentation inference for exceptions.	ISSTA	2008	DBLP DOI BibTeX RDF	documentation inference, exception handling, software documentation
8	Juling Ding	An Extended Immune-Based Model for Computer Forensics.	CSSE (1)	2008	DBLP DOI BibTeX RDF
8	Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack	The Grand Challenge of Scalability for Model Driven Engineering.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF
8	Soundararajan Chandramathi, K. V. Arunkumar, S. Deivarayan, P. Sendhilkumar	Fuzzy based dynamic WEP keymanagement for WLAN security enhancement.	COMSWARE	2008	DBLP DOI BibTeX RDF
8	Yvo Desmedt, Duong Hieu Phan	A CCA Secure Hybrid Damgård's ElGamal Encryption.	ProvSec	2008	DBLP DOI BibTeX RDF
8	Paul Johannesson, Birger Andersson, Maria Bergholtz, Hans Weigand	Enterprise Modelling for Value Based Service Analysis.	PoEM	2008	DBLP DOI BibTeX RDF
8	Kirsten Terfloth, Jochen H. Schiller	Ruling Networks with RDL: A Domain-Specific Language to Task Wireless Sensor Networks.	RuleML	2008	DBLP DOI BibTeX RDF	reactive rules, RDL, domain-specific language, FACTS
8	Corina Popescu, Jose L. Martinez Lastra	Selecting orchestrator paths in manufacturing lines: Alternatives to scheduling.	ETFA	2008	DBLP DOI BibTeX RDF
8	Fahim Akhter	E-Commerce Security: The Categorical Role of Computers in Forensic Online Crime.	ISI Workshops	2008	DBLP DOI BibTeX RDF
8	Holger Krahn, Bernhard Rumpe, Steven Völkel	MontiCore: Modular Development of Textual Domain Specific Languages.	TOOLS (46)	2008	DBLP DOI BibTeX RDF
8	Benjamin M. Brosgol	A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM.	Ada-Europe	2008	DBLP DOI BibTeX RDF
8	Till Mossakowski, Lutz Schröder, Sergey Goncharov 0001	A Generic Complete Dynamic Logic for Reasoning About Purity and Effects.	FASE	2008	DBLP DOI BibTeX RDF
8	Gong Feng, Ma Zhen, Li Jianlei, Zhang Xianjiang	Unloading Performance Analysis of Main Generator in Aeronautic AC Power Supply Based on Ansoft.	RAM	2008	DBLP DOI BibTeX RDF
8	Avraham Leff, James T. Rayfield	Zazen: A Mediating SOA between Ajax Applications and Enterprise Data.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF	dojo, soa, relational database, ajax, data access
8	Wolfgang Bangerth, Ralf Hartmann, Guido Kanschat	deal.II - A general-purpose object-oriented finite element library.	ACM Trans. Math. Softw.	2007	DBLP DOI BibTeX RDF	Object-orientation, software design
8	Olivier Bonaventure, Clarence Filsfils, Pierre François	Achieving sub-50 milliseconds recovery upon BGP peering link failures.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	fast recovery, routing, BGP, computer network reliability
8	Wojciech M. Golab, Raouf Boutaba	Admission control in data transfers over lightpaths.	IEEE J. Sel. Areas Commun.	2007	DBLP DOI BibTeX RDF
8	Mario R. Casu, Luca Macchiarulo	Adaptive Latency-Insensitive Protocols.	IEEE Des. Test Comput.	2007	DBLP DOI BibTeX RDF	latency-insensitive protocols, interconnections, ICs, wire pipelining
8	Christian Grothoff, Jens Palsberg, Jan Vitek	Encapsulating objects with confined types.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF
8	Mohamed Shehab, Kamal Bhattacharya, Arif Ghafoor	Web services discovery in secure collaboration environments.	ACM Trans. Internet Techn.	2007	DBLP DOI BibTeX RDF	Secure collaboration, encapsulated SOAP, private UDDI registries, secure access paths, protocols, services
8	Ana L. Milanova	Light context-sensitive points-to analysis for java.	PASTE	2007	DBLP DOI BibTeX RDF	context sensitivity, points-to analysis
8	Serdar Cabuk, Chris I. Dalton, HariGovind V. Ramasamy, Matthias Schunter	Towards automated provisioning of secure virtualized networks.	CCS	2007	DBLP DOI BibTeX RDF	automated security provisioning, trusted virtual domains, network security, security policies, network virtualization
8	Toni Ruokolainen, Lea Kutvonen	Managing Non-Functional Properties of Inter-enterprise Business Service Delivery.	ICSOC Workshops	2007	DBLP DOI BibTeX RDF
8	Luc Bläser	How can we liberate ourselves from pointers?	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	hierarchical composition, components, interfaces
8	Ethan Hadar, Irit Hadar	Effective preparation for design review: using UML arrow checklist leveraged on the Gurus' knowledge.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	modeling, UML, refactoring, object-oriented design, design review, software engineering methodology
8	Marwan Abi-Antoun	Compile-time execution structure of object-oriented programs with practical ownership domain annotations.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	execution structure, ownership domains, runtime structure, ownership types, dynamic structure
8	Peter Müller 0001, Arsenii Rudich	Ownership transfer in universe types.	OOPSLA	2007	DBLP DOI BibTeX RDF	universe types, aliasing, uniqueness, ownership transfer
8	Alain Faivre, Christophe Gaston, Pascale Le Gall	Symbolic Model Based Testing for Component Oriented Systems.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	ioco-based conformance testing, input/output symbolic transition system, symbolic execution, component based system
8	Donald Gordon, James Noble 0001	Dynamic ownership in a dynamic language.	DLS	2007	DBLP DOI BibTeX RDF	ownership, dynamic languages
8	Bernhard Leiner, Martin Schlager, Roman Obermaisser, Bernhard Huber	A Comparison of Partitioning Operating Systems for Integrated Systems.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Partitioning OS, Embedded Systems, Dependability
8	Kit Yan Chan, Sai-Ho Ling, Herbert H. C. Iu, C. K. Kwong 0001	A GA-based data mining approach to process improvement of fluid dispensing for electronic packaging.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
8	Xu Su, Rajendra V. Boppana	On Mitigating In-band Wormhole Attacks in Mobile Ad Hoc Networks.	ICC	2007	DBLP DOI BibTeX RDF
8	Jinpeng Huai, Qin Li 0014, Chunming Hu	CIVIC: A Hypervisor Based Virtual Computing Environment.	HPCC	2007	DBLP DOI BibTeX RDF
8	Dave Clarke 0001, Sophia Drossopoulou, James Noble 0001, Tobias Wrigstad	Aliasing, Confinement, and Ownership in Object-Oriented Programming.	ECOOP Workshops	2007	DBLP DOI BibTeX RDF
8	Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre	Design in CommUnity with Extension Morphisms.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
8	Giuseppe A. Di Lucca, Michael Smit, Bruce Fraser, Eleni Stroulia, H. James Hoover	Comprehending Aspect-Oriented Programs: Challenges and Open Issues.	ICPC	2007	DBLP DOI BibTeX RDF
8	Bernd Braßel, Frank Huch	On a Tighter Integration of Functional and Logic Programming.	APLAS	2007	DBLP DOI BibTeX RDF
8	Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert	Immutable Objects for a Java-Like Language.	ESOP	2007	DBLP DOI BibTeX RDF
8	Adailton José Alves Da Cruz, Léo Pini Magalhães, Alberto Barbosa Raposo, Rafael S. Mendes, Dennis Guimarães Pelluzi	Coordinating Multi-task Environments Through the Methodology of Relations Graph.	CRIWG	2007	DBLP DOI BibTeX RDF	temporal behaviors modeling, Petri nets, Coordination
8	Mohammad Gias Uddin 0001, Hossain Shahriar, Mohammad Zulkernine	ACIR: An Aspect-Connector for Intrusion Response.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
8	Howard Barringer, Dov M. Gabbay, David E. Rydeheard	From Runtime Verification to Evolvable Systems.	RV	2007	DBLP DOI BibTeX RDF
8	Bernd Brassel, Frank Huch	The Kiel Curry System KiCS.	INAP/WLP	2007	DBLP DOI BibTeX RDF
8	Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg	IibDMC: a Library to Operate Efficient Distributed Model Checking.	IPDPS	2007	DBLP DOI BibTeX RDF
8	Yi Lu 0003, John Potter, Jingling Xue	Validity Invariants and Effects.	ECOOP	2007	DBLP DOI BibTeX RDF
8	Li Jia, Heming Zhang	Supporting Collaborative Product Design with a Web Service and HLA Based Architecture.	CSCWD	2007	DBLP DOI BibTeX RDF
8	Frank Pfenning	Subtyping and intersection types revisited.	ICFP	2007	DBLP DOI BibTeX RDF
8	Ricky E. Sward	SP2: exposing ada web services using a service-oriented architecture (SOA).	SIGAda	2007	DBLP DOI BibTeX RDF
8	Roland J. Viger, Olaf David, Charles G. O'Hara	Using geoprocessing specification as semantic metadata with GEOLEM.	GIS	2007	DBLP DOI BibTeX RDF	semantic, metadata, geoprocessing
8	Falk Salewski, Stefan Kowalewski	The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations.	SIES	2007	DBLP DOI BibTeX RDF
8	David Jackson 0001	Hierarchical genetic programming based on test input subsets.	GECCO	2007	DBLP DOI BibTeX RDF	hierarchical GP, program architecture, genetic programming, decomposition
8	Takeru Ishihara, Hiroshi Aono, Sadayuki Hongo, Junji Shikata	Construction of Threshold (Hybrid) Encryption in the Random Oracle Model: How to Construct Secure Threshold Tag-KEM from Weakly Secure Threshold KEM.	ACISP	2007	DBLP DOI BibTeX RDF
8	Jinpeng Huai, Qin Li 0014, Chunming Hu	CIVIC: a Hypervisor based Virtual Computing Environment.	ICPP Workshops	2007	DBLP DOI BibTeX RDF	CIVIC, Distributed Systems, Virtual Machine, Hypervisor, Virtual Computing Environment
8	Dragan Milosevic, Sahin Albayrak	Speeding Coordination by Combining Analytical and Inductive Learning.	Web Intelligence/IAT Workshops	2007	DBLP DOI BibTeX RDF
8	Peter Novák 0001, Jürgen Dix	Adding Structure to Agent Programming Languages.	PROMAS	2007	DBLP DOI BibTeX RDF
8	Sewook Oh, Seong Rae Park	Providing qos for streaming traffic in mobile network with mobile router.	Q2SWinet	2007	DBLP DOI BibTeX RDF	tunneling protocol, mobile network, network mobility, mobile router
8	Manuel Barbosa, Pooya Farshim	Randomness Reuse: Extensions and Improvements.	IMACC	2007	DBLP DOI BibTeX RDF	Randomness Reuse, Multi-Recipient, Hybrid Encryption
8	André Restivo, Ademar Aguiar	Towards detecting and solving aspect conflicts and interferences using unit tests.	SPLAT	2007	DBLP DOI BibTeX RDF	AOP, interferences, unit testing, conflicts
8	Zifu Yang, Tian Zhao	Improve pointcut definitions with program views.	SPLAT	2007	DBLP DOI BibTeX RDF
8	Alberto E. Schaeffer Filho, Emil C. Lupu, Naranker Dulay, Sye Loong Keoh, Kevin P. Twidle, Morris Sloman, Steven Heeps, Stephen D. Strowes, Joe Sventek	Towards Supporting Interactions between Self-Managed Cells.	SASO	2007	DBLP DOI BibTeX RDF
8	Elton N. Mathias, Françoise Baude, Vincent Cavé, Nicolas Maillard	A Component-Oriented Support for Hierarchical MPI Programming on Multi-Cluster Grid Environments.	SBAC-PAD	2007	DBLP DOI BibTeX RDF
8	Bogdan Groza	An Extension of the RSA Trapdoor in a KEM/DEM Framework.	SYNASC	2007	DBLP DOI BibTeX RDF
8	Saber Zrelli, Yoichi Shinoda	Specifying Kerberos over EAP: Towards an integrated network access and Kerberos single sign-on process.	AINA	2007	DBLP DOI BibTeX RDF
8	Feilong Tang, Minglu Li 0001, Minyi Guo	ShanghaiGrid and intelligent urban traffic applications.	China HPC	2007	DBLP DOI BibTeX RDF
8	ZhenLiu Zhou, RongSheng Xu	BIOS Security Analysis and a Kind of Trusted BIOS.	ICICS	2007	DBLP DOI BibTeX RDF	Trust Measurement, BIOS, UEFI, Trusted Computing, TPM
8	Urjaswala Vora	Architectural Design Methodologies for Complex Evolving Systems.	ICECCS	2007	DBLP DOI BibTeX RDF
8	Mingzhong Wang, Amy Unruh, Kotagiri Ramamohanarao	ARTS: agent-oriented robust transactional system.	AAMAS	2007	DBLP DOI BibTeX RDF	robustness, transaction, agent programming language
8	Jianping Wu, Yong Cui 0001, Xing Li 0001, Chris Metz 0001	The Transition to IPv6, Part 1: 4over6 for the China Education and Research Network.	IEEE Internet Comput.	2006	DBLP DOI BibTeX RDF	4over6, CERNet2, Border-Gateway Protocol, BGP, IPv6, China
8	Ashley T. McNeile, Nicholas Simons	Protocol modelling: A modelling approach that supports reusable behavioural abstractions.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	Protocols, Reuse, State machines, Executable modelling, Mixins, Behavioural modelling
8	Jorge García Duque, Martín López Nores, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Manuel Ramos Cabrer, Yolanda Blanco-Fernández	Guidelines for the incremental identification of aspects in requirements specifications.	Requir. Eng.	2006	DBLP DOI BibTeX RDF	Requirements specifications, Crosscutting concerns, Aspect-mining, Incremental software development
8	Pierre G. Paulin, Chuck Pilkington, Michel Langevin, Essaid Bensoudane, Damien Lyonnard, Olivier Benny, Bruno Lavigueur, David Lo 0002, Giovanni Beltrame, Vincent Gagné, Gabriela Nicolescu	Parallel programming models for a multiprocessor SoC platform applied to networking and multimedia.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
8	Timo Aaltonen, Mika Katara, Reino Kurki-Suonio, Tommi Mikkonen	On Horizontal Specification Architectures and Their Aspect-Oriented Implementations.	T. Aspect-Oriented Software Development	2006	DBLP DOI BibTeX RDF
8	Kenneth Webb, Tony White	Cell modeling with reusable agent-based formalisms.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Architectural reuse, Agent-based modeling, Cell simulation
8	Xianghua Xie, Majid Mirmehdi, Barry T. Thomas	Colour tonality inspection using eigenspace features.	Mach. Vis. Appl.	2006	DBLP DOI BibTeX RDF	Colour tonality, Image noise analysis, Vector directional processing, Multidimensional histogramming, Surface inspection
8	Benjamin Mesing, Carsten Hellmich	Using aspect oriented methods to add behaviour to X3D documents.	Web3D	2006	DBLP DOI BibTeX RDF	geometry and behaviour, aspect oriented programming, VRML, X3D
8	Mehdi Rezaei, Miska M. Hannuksela, Moncef Gabbouj	Video Splicing and Fuzzy Rate Control in IP Multi-Protocol Encapsulator for Tune-In Time Reduction in IP Datacasting (IPDC) over DVB-H.	ICIP	2006	DBLP DOI BibTeX RDF
8	Essam Mansour 0001, Bing Wu 0004, Kudakwashe Dube, Jian Xing Li	An Event-Driven Approach to Computerizing Clinical Guidelines Using XML.	SCW	2006	DBLP DOI BibTeX RDF
8	Julien Schmaltz, Dominique Borrione	Towards a formal theory of on chip communications in the ACL2 logic.	ACL2	2006	DBLP DOI BibTeX RDF	formal theory, network on a chip, theorem proving, communication theory
8	Ashish Gehani, Surendar Chandra, Gershon Kedem	Augmenting storage with an intrusion response primitive to ensure the security of critical data.	AsiaCCS	2006	DBLP DOI BibTeX RDF
8	Flavius Gruian, Partha S. Roop, Zoran A. Salcic, Ivan Radojevic	The SystemJ approach to system-level design.	MEMOCODE	2006	DBLP DOI BibTeX RDF
8	Jian Huang, Yingxu Wang	Formal Specification and Representation of Design Patterns Using RTPA.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
8	Peter Gietz, Andreas Aschenbrenner 0001, Stefan Büdenbender, Fotis Jannidis, Marc Wilhelm Küster, Christoph Ludwig, Wolfgang Pempe, Thorsten Vitt, Werner Wegstein, Andrea Zielinski	TextGrid and eHumanities.	e-Science	2006	DBLP DOI BibTeX RDF
8	Tal Cohen, Joseph Gil, Itay Maman	JTL: the Java tools language.	OOPSLA	2006	DBLP DOI BibTeX RDF	reverse engineering, declarative programming
8	Guy L. Steele Jr.	A growable language.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF
8	Patrick Th. Eugster	Uniform proxies for Java.	OOPSLA	2006	DBLP DOI BibTeX RDF	Java, transformation, proxy, future