Search results for "Declaration"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Hendrikus J. S. Basten, Paul Klint	DeFacto: Language-Parametric Fact Extraction from Source Code.	SLE	2008	DBLP DOI BibTeX RDF
11	Barthélémy Dagenais, Laurie J. Hendren	Enabling static analysis for partial java programs.	OOPSLA	2008	DBLP DOI BibTeX RDF	partial programs, java, type inference
11	Kevin Camera, Robert W. Brodersen	An integrated debugging environment for FPGA computing platforms.	FPGA	2008	DBLP DOI BibTeX RDF	simulation, FPGA, design, verification
11	Herman Balsters, Terry A. Halpin	Formal Semantics of Dynamic Rules in ORM.	OTM Workshops	2008	DBLP DOI BibTeX RDF
11	Zhifeng Gu, Juanzi Li, Bin Xu 0001	Automatic Service Composition Based on Enhanced Service Dependency Graph.	ICWS	2008	DBLP DOI BibTeX RDF
11	Kevin Camera, Robert W. Brodersen	An integrated debugging environment for FPGA computing platforms.	FPL	2008	DBLP DOI BibTeX RDF
11	Reinhard Jung, Jessica Kochbeck, Annett Nagel	Student Retention through Customized Service Processes.	II3E	2008	DBLP DOI BibTeX RDF
11	Tetsuo Kamina, Tetsuo Tamai	Lightweight dependent classes.	GPCE	2008	DBLP DOI BibTeX RDF	class-based languages, dependent classes, mutually recursive extensions, generics, type safety
11	Shan Shan Huang, Yannis Smaragdakis	Expressive and safe static reflection with MorphJ.	PLDI	2008	DBLP DOI BibTeX RDF	class morphing, structural abstraction, object-oriented programming, aspect-oriented programming, meta-programming, language extensions
11	Hiroshi Unno 0001, Naoki Kobayashi 0001	On-Demand Refinement of Dependent Types.	FLOPS	2008	DBLP DOI BibTeX RDF
11	Olivier Glassey	A case study on taxpayer segmentation.	ICEGOV	2008	DBLP DOI BibTeX RDF	taxation, automation, IT governance, reorganization, process reengineering
11	Akemi Gálvez, Andrés Iglesias 0001, Pedro Corcuera	An Introductory Computer Graphics Course in the Context of the European Space of Higher Education: A Curricular Approach.	ICCS (2)	2008	DBLP DOI BibTeX RDF
11	Lucia Acciai, Michele Boreale	Spatial and Behavioral Types in the Pi-Calculus.	CONCUR	2008	DBLP DOI BibTeX RDF	behavioural type systems, pi-calculus, spatial logic
11	Beilu Shao, Marco Mattavelli, Maria Teresa Andrade, Samuel Keller, Giorgiana Ciobanu, Pedro Carvalho	Multimedia terminal architecture: An inter-operable approach.	AICCSA	2008	DBLP DOI BibTeX RDF
11	Sriram Gopal, Wesley Tansey, Gokulnath C. Kannan, Eli Tilevich	DeXteR- An Extensible Framework for Declarative Parameter Passing in Distributed Object Systems.	Middleware	2008	DBLP DOI BibTeX RDF	Extensible Middleware, Parameter Passing, Metadata, Aspect Oriented Programming, Declarative Programming
11	Hyunwoo Chun, Haewoon Kwak, Young-Ho Eom, Yong-Yeol Ahn, Sue B. Moon, Hawoong Jeong	Comparison of online social relations in volume vs interaction: a case study of cyworld.	Internet Measurement Conference	2008	DBLP DOI BibTeX RDF	cyworld, degree correlation, friend relationship, guestbook log, k-core, reciprocity, online social network, disparity, degree distribution, clustering coefficient, network motif
11	Premysl Brada	Enhanced OSGi Bundle Updates to Prevent Runtime Exceptions.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
11	Ji-Gong Li, Qing-Hao Meng, Fei Li 0009, Ming-Lu Zhang	Mobile Robot basedOdor Path Estimation via Dynamic Window Approach.	RAM	2008	DBLP DOI BibTeX RDF
11	Martin R. Stytz	Who Are the Experts, and What Have They Done for Us Lately?	IEEE Secur. Priv.	2007	DBLP DOI BibTeX RDF
11	Traian Nicula	XML socket server applications as an alternative for simulation interoperability.	SCSC	2007	DBLP BibTeX RDF	simulation interoperability, xml socket server, xml, sockets
11	Erik K. Anderson, Wesley Peck, Jim Stevens, Jason Agron, Fabrice Baijot, Seth Warn, David Andrews 0001	Supporting High Level Language Semantics Within Hardware Resident Threads.	FPL	2007	DBLP DOI BibTeX RDF
11	Li Jiang, Lingdi Ping, Xuezeng Pan	Handling Dynamic Information Release.	ICISC	2007	DBLP DOI BibTeX RDF	languages, Computer security, information flow, security-type systems
11	Olena Borzenko, Yves Lespérance, Michael Jenkin	INVICON: A Toolkit for Knowledge-Based Control of Vision Systems.	CRV	2007	DBLP DOI BibTeX RDF
11	Yutaka Sasaki, Brian Rea, Sophia Ananiadou	Multi-topic Aspects in Clinical Text Classification.	BIBM	2007	DBLP DOI BibTeX RDF
11	Michael English, Jim Buckley, Tony Cahill	Fine-Grained Software Metrics in Practice.	ESEM	2007	DBLP DOI BibTeX RDF
11	Li Jiang, Lingdi Ping, Xuezeng Pan	Combining robust declassification and intransitive noninterference.	IMSCCS	2007	DBLP DOI BibTeX RDF
11	Markus Bach, Florian Forster, Friedrich Steimann	Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types.	FASE	2007	DBLP DOI BibTeX RDF
11	Ricardo E. Gonzalez	A Software-Configurable Processor Architecture.	IEEE Micro	2006	DBLP DOI BibTeX RDF	software-configurable processor
11	Eugenio Roanes-Macías, Eugenio Roanes-Lozano	A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
11	Michael L. Nelson, Joan A. Smith, Ignacio Garcia del Campo	Efficient, automatic web resource harvesting.	WIDM	2006	DBLP DOI BibTeX RDF	mod_oai, web crawling, OAI-PMH
11	Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro	: A Calculus for Service Oriented Computing.	ICSOC	2006	DBLP DOI BibTeX RDF
11	Wei Li 0006, Carl Bloomquist, Mohamoud M. Elgassier, Karan Srivasta	Multisensor Integration for Declaring the Odor Source of a Plume in Turbulent Fluid-Advected Environments.	IROS	2006	DBLP DOI BibTeX RDF
11	Friedrich Steimann, Philip Mayer, Andreas Meissner	Decoupling classes with inferred interfaces.	SAC	2006	DBLP DOI BibTeX RDF	interface-based programming, refactoring, type inference
11	Xiaoqing Wu, Barrett R. Bryant, Jeffrey G. Gray, Suman Roychoudhury, Marjan Mernik	Separation of concerns in compiler development using aspect-orientation.	SAC	2006	DBLP DOI BibTeX RDF	design patterns, aspect-oriented programming, compiler design
11	Shuling Wang, Quan Long, Zongyan Qiu	Type Safety for FJ and FGJ.	ICTAC	2006	DBLP DOI BibTeX RDF	Downcast, Observer Pattern, Type Safety, Featherweight Java
11	Sabah Khalid, Mohsin Khan, Ping Wang, Xiaohui Liu 0001, Suling Li	Application of Bioinformatics in the Design of Gene Expression Microarrays.	ISoLA	2006	DBLP DOI BibTeX RDF
11	Herman Balsters, Andy Carver, Terry A. Halpin, Tony Morgan	Modeling Dynamic Rules in ORM.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF
11	Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu	Variance and Generalized Constraints for C# Generics.	ECOOP	2006	DBLP DOI BibTeX RDF
11	Oliver Lampl, Elmar Stellnberger, László Böszörményi	Programming Language Concepts for Multimedia Application Development.	JMLC	2006	DBLP DOI BibTeX RDF
11	Markus Lumpe, Jean-Guy Schneider	On the Integration of Classboxes into C#.	SC@ETAPS	2006	DBLP DOI BibTeX RDF
11	Jun-ichi Motoyama, Shinpei Urazawa, Tomofumi Nakano, Nobuhiro Inuzuka	A Mining Algorithm Using Property Items Extracted from Sampled Examples.	ILP	2006	DBLP DOI BibTeX RDF
11	Di Wu, Xiyuan Chen, Jian Lin, Miaoliang Zhu	Ontology-Based RBAC Specification for Interoperation in Distributed Environment.	ASWC	2006	DBLP DOI BibTeX RDF	Ontology, interoperation, RBAC, access control policy
11	Bin Liu 0010, Amarnath Gupta, Ramesh C. Jain	Using Temporal Semantics for Live Media Stream Queries.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
11	Dimosthenis Kaponis, Jeremy Pitt	Dynamic Specifications in Norm-Governed Open Computational Societies.	ESAW	2006	DBLP DOI BibTeX RDF
11	Stephanie Weirich	RepLib: a library for derivable type classes.	Haskell	2006	DBLP DOI BibTeX RDF	representation types, type-indexed programming, GADT, datatype-generic programming
11	Mario Döller, Harald Kosch, Ingo Wolf, Matthias Gruhne	Towards an MPEG-7 Query Language.	SITIS	2006	DBLP DOI BibTeX RDF
11	Hua-Yi Lin, Yueh-Min Huang, Tzone-I Wang	Building a Multi-purposes Digital Media System Using MPEG-21 and XML.	Edutainment	2006	DBLP DOI BibTeX RDF
11	Paul Libbrecht, Christian Gross 0004	Authoring LeActiveMath Calculus Content.	MKM	2006	DBLP DOI BibTeX RDF
11	Takayuki Suyama, Makoto Yokoo	Strategy/False-name Proof Protocols for Combinatorial Multi-Attribute Procurement Auction.	Auton. Agents Multi Agent Syst.	2005	DBLP DOI BibTeX RDF	strategy/false-name proof, mechanism design, combinatorial auction, multi-attribute
11	Wei-Qi Yan 0001, Jun Wang 0012, Mohan S. Kankanhalli	Automatic video logo detection and removal.	Multim. Syst.	2005	DBLP DOI BibTeX RDF	Video logo detection, Video logo removal, Visual watermark attack, Neural network, Video inpainting
11	Jeroen Bekaert, Emiel De Kooning, Rik Van de Walle	Packaging models for the storage and distribution of complex digital objectsin archival information systems: a review of MPEG-21 DID principles.	Multim. Syst.	2005	DBLP DOI BibTeX RDF	Complex digital object, OAIS Reference Model, MPEG-21 DID
11	Robert W. Bowdidge	Refactoring gcc using structure field access traces and concept analysis.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	meaning-preserving restructuring, case study, gcc
11	Stéphane Airiau, Sandip Sen	Learning Pareto-optimal Solutions in 2x2 Conflict Games.	LAMAS	2005	DBLP DOI BibTeX RDF
11	Ta Nguyen Binh Duong, Suiping Zhou	Effects of Inter-Server Communication in an HLA-Based Distributed Virtual Environment.	DFMA	2005	DBLP DOI BibTeX RDF	Inter-Server Communication, Load Balancing, High Level Architecture, Distributed Virtual Environments
11	Jeroen Bekaert, Xiaoming Liu 0005, Herbert Van de Sompel	Using standards in digital library design & development.	JCDL	2005	DBLP DOI BibTeX RDF
11	Yi-ming Wu, Joan Lu, Shaowen Yao 0001, Zhi-Jie Zheng	Mechanism of Semantic Oriented Flexible Workflow.	ICITA (1)	2005	DBLP DOI BibTeX RDF	ontology, Agent, workflow, flexibility, DAML
11	Azzedine Boukerche, Kaiyuan Lu	Optimized Dynamic Grid-Based DDM Protocol for Large-Scale Distributed Simulation Systems.	IPDPS	2005	DBLP DOI BibTeX RDF
11	James Cheney	Toward a general theory of names: binding and scope.	MERLIN	2005	DBLP DOI BibTeX RDF	names, abstract syntax, scope, nominal logic
11	Takaaki Shochi, Véronique Aubergé, Albert Rilliard	Because Attitudes Are Social Affects, They Can Be False Friends....	ACII	2005	DBLP DOI BibTeX RDF
11	Shuliang Zhao, Guorui Jiang, Tiyun Huang, Xiaoyan Yang	The Deception Detection and Restraint in Multi-agent System.	ICTAI	2005	DBLP DOI BibTeX RDF
11	Filip Zelezný	Efficient Sampling in Relational Feature Spaces.	ILP	2005	DBLP DOI BibTeX RDF
11	Changyun Li, Bei Shui Liao, Ai-Min Yang, Lijun Liao	Composition of Web Services Using Ontology with Monotonic Inheritance.	FSKD (2)	2005	DBLP DOI BibTeX RDF
11	Adriana Iamnitchi, Ian T. Foster	Interest-aware information dissemination in small-world communities.	HPDC	2005	DBLP DOI BibTeX RDF
11	Ana Almeida Matos	Non-disclosure for Distributed Mobile Code.	FSTTCS	2005	DBLP DOI BibTeX RDF
11	Bernadette Power, Geoff W. Hamilton	Declassification: Transforming Java Programs to Remove Intermediate Classes.	SCAM	2005	DBLP DOI BibTeX RDF
11	Francesca Arcelli Fontana, Stefano Masiero, Claudia Raibulet	Elemental Design Patterns Recognition In Java.	STEP	2005	DBLP DOI BibTeX RDF
11	Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman	CODEWEAVE: Exploring Fine-Grained Mobility of Code.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	specification and semantics, distributed systems, code mobility
11	Manos Dramitinos, George D. Stamoulis, Costas Courcoubetis	Auction-Based Resource Reservation in 2.5/3G Networks.	Mob. Networks Appl.	2004	DBLP DOI BibTeX RDF	efficiency, auction, UMTS, utility, resource reservation
11	Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo	A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations).	PADL	2004	DBLP DOI BibTeX RDF	Databases, Prolog, Query Optimization, Persistency
11	Xiaoshan Li, Zhiming Liu 0001, Jifeng He 0001	A Formal Semantics of UML Sequence Diagram.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF	UML, Semantics, Consistency, Sequence Diagram
11	Sébastien Adam, Maurizio Rigamonti, Eric Clavier, Éric Trupin, Jean-Marc Ogier, Karl Tombre, Joël Gardes	DocMining: A Document Analysis System Builder.	Document Analysis Systems	2004	DBLP DOI BibTeX RDF
11	Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst	Converting java programs to use generic libraries.	OOPSLA	2004	DBLP DOI BibTeX RDF	JSR-14, Java 1.5, Java 5, instantiation types, raw types, type inference, parametric polymorphism, generic types, parameterized types
11	Henry N. Jerez, Xiaoming Liu 0005, Patrick Hochstenbach, Herbert Van de Sompel	The multi-faceted use of the OAI-PMH in the lanl repository.	JCDL	2004	DBLP DOI BibTeX RDF	digital libraries, interoperability, federation, OAI-PMH
11	Thomas H. Lenhard	Multi-discipline-reengineering/redevelopment of IT-infrastructures.	ISICT	2004	DBLP BibTeX RDF
11	Rui Shen 0003, Ji Wang, Hong Zhu 0002	Scenario Mechanism in Agent-Oriented Programming.	APSEC	2004	DBLP DOI BibTeX RDF
11	Woojin Paik, Jee Yeon Lee	Extracting Legal Propositions from Appellate Decisions with Text Discourse Analysis Methods.	OTM Workshops	2004	DBLP DOI BibTeX RDF
11	Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani	Instruction combining for coalescing memory accesses using global code motion.	Memory System Performance	2004	DBLP DOI BibTeX RDF	instruction combining, memory access coalescing, Java, JIT compilers, IA-64, 64-bit architectures
11	Vasian Cepa, Mira Mezini	Declaring and Enforcing Dependencies Between .NET Custom Attributes.	GPCE	2004	DBLP DOI BibTeX RDF
11	Ricky E. Sward, A. T. Chamillard	Re-engineering global variables in Ada.	SIGAda	2004	DBLP DOI BibTeX RDF	ASIS, SPARK, global variables
11	Rolf Jeltsch, Kaspar Nipp	Adapting the CSE Program at ETH Zurich to the Bologna Process.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
11	Alvin T. S. Chan, Peter Y. H. Wong, Siu Nam Chuang	CRL: A Context-Aware Request Language for Mobile Computing.	ISPA	2004	DBLP DOI BibTeX RDF
11	Chima Adiele, Sylvanus A. Ehikioya	Dynamic Identification of Correspondence Assertions for Electronic Commerce Data Integration.	ITCC (1)	2004	DBLP DOI BibTeX RDF
11	Nicola Di Mauro, Floriana Esposito, Stefano Ferilli, Teresa Maria Altomare Basile	An Algorithm for Incremental Mode Induction.	IEA/AIE	2004	DBLP DOI BibTeX RDF
11	Roberto Baldoni, Roberto Beraldi, Sara Tucci Piergiovanni, Antonino Virgillito	Measuring Notification Loss in Publish/Subscribe Communication Systems.	PRDC	2004	DBLP DOI BibTeX RDF
11	Takayuki Suyama, Makoto Yokoo	Strategy/False-name Proof Protocols for Combinatorial Multi-Attribute Procurement Auction.	AAMAS	2004	DBLP DOI BibTeX RDF
11	Ming Li 0001, Xin Chen, Xin Li, Bin Ma 0002, Paul M. B. Vitányi	The similarity metric.	SODA	2003	DBLP BibTeX RDF
11	Doan Dai Duong, Vilas Wuwongse	XML Database Schema Integration Using XDD.	WAIM	2003	DBLP DOI BibTeX RDF
11	Dan Chen 0001, Bu-Sung Lee, Wentong Cai 0001, Stephen John Turner	Design and Development of a Cluster Gateway for Cluster-based HLA Distributed Virtual Simulation Environments.	Annual Simulation Symposium	2003	DBLP DOI BibTeX RDF	cluster, scalability, latency, HLA, gateway, RTI
11	Thomas A. Henzinger	Automata for Specifying Component Interfaces.	CIAA	2003	DBLP DOI BibTeX RDF
11	Patrick K. L. Ng, Vincent T. Y. Ng	Structural Similarity between XML Documents and DTDs.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
11	Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper 0001, Perry Cheng	Typed compilation of recursive datatypes.	TLDI	2003	DBLP DOI BibTeX RDF	typed compilation, standard ML, recursive types, coercions
11	Jacqueline Floch, Rolv Bræk	Using Projections for the Detection of Anomalous Behaviors.	SDL Forum	2003	DBLP DOI BibTeX RDF
11	Norman Schofield, Itai Sened	Local Nash Equilibrium in Multiparty Politics.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF
11	Daniel Jackson 0001	Alloy: a lightweight object modelling notation.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	first-order logic, Object models, Z specification language
11	John Cooke	Editorial.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF
11	Martin Gogolla, Brian Henderson-Sellers	Analysis of UML Stereotypes within the UML Metamodel.	UML	2002	DBLP DOI BibTeX RDF
11	Igor Pechtchanski, Vivek Sarkar	Immutability specification and its applications.	Java Grande	2002	DBLP DOI BibTeX RDF	optimization, annotations, immutability
11	Anne-Françoise Le Meur, Charles Consel, Benoît Escrig	An Environment for Building Customizable Software Components.	Component Deployment	2002	DBLP DOI BibTeX RDF
11	Jamie Shield, Ian J. Hayes	Refining Object-Oriented Invariants and Dynamic Constraints.	APSEC	2002	DBLP DOI BibTeX RDF	history properties, Object-orientation, invariants, refinement calculus
11	Akira Kitajima, Toshiyuki Sasaki, Yoshinori Takeuchi, Masaharu Imai	Design of Application Specific CISC Using PEAS-III.	IEEE International Workshop on Rapid System Prototyping	2002	DBLP DOI BibTeX RDF