Search results for "scopes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Jackson Marques de Carvalho, Helmut Jürgensen	A Dynamical Document Structure to Capture the Semantics of Mathematical Concepts.	ACHI	2008	DBLP DOI BibTeX RDF	grammar fragments, attributed context-free grammars, meaning-to-syntax binding, extensibility, incremental update, meta-structure, authoring model
12	He Zhang 0001, Barbara A. Kitchenham, Dietmar Pfahl	Reflections on 10 Years of Software Process Simulation Modeling: A Systematic Review.	ICSP	2008	DBLP DOI BibTeX RDF	ProSim, systematic literature review, software process simulation
12	Helene Schilke, Achim Rettberg, Florian Dittmann 0001	Towards a Petri Net Based Approach to Model and Synthesise Dynamic Reconfiguration for FPGAs.	DELTA	2008	DBLP DOI BibTeX RDF	Model-based Design Flow, FPGA, Petri-net, Dynamic Reconfiguration
12	Tobias Josef Brunner, Ross Purves	Spatial autocorrelation and toponym ambiguity.	GIR	2008	DBLP DOI BibTeX RDF	toponym disambiguation, toponym resolution, distance, gir
12	Concepció Roig, Ana Ripoll, Fernando Guirado	A New Task Graph Model for Mapping Message Passing Applications.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	modelling message-passing programs, program behaviour, task concurrency, static mapping, Task graphs, mapping algorithms
12	Hanno Scharwächter, David Kammler, Andreas Wieferink, Manuel Hohenauer, Kingshuk Karuri, Jianjiang Ceng, Rainer Leupers, Gerd Ascheid, Heinrich Meyr	ASIP architecture exploration for efficient IPSec encryption: A case study.	ACM Trans. Embed. Comput. Syst.	2007	DBLP DOI BibTeX RDF	computer-aided design, ADL, ASIP, IPSec
12	Chao Wang 0001, Zijiang Yang 0006, Franjo Ivancic, Aarti Gupta	Disjunctive image computation for software verification.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Model checking, formal verification, binary decision diagram, reachability analysis, image computation
12	Jifeng He 0001, Huibiao Zhu, Geguang Pu	A model for BPEL-like languages.	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	observation-oriented semantics, BPEL, compensation, fault handling, algebraic laws
12	Soo-Young Lee	Artificial Brain and OfficeMate TR based on Brain Information Processing Mechanism.	Challenges for Computational Intelligence	2007	DBLP DOI BibTeX RDF
12	Mehul Bhatt, J. Wenny Rahayu, Sury Prakash Soni, Carlo Wouters	OntoMove: A Knowledge Based Framework for Semantic Requirement Profiling and Resource Acquisition.	ASWEC	2007	DBLP DOI BibTeX RDF
12	Yunwen Ye, Yasuhiro Yamamoto, Kumiyo Nakakoji, Yoshiyuki Nishinaka, Mitsuhiro Asada	Searching the library and asking the peers: learning to use Java APIs on demand.	PPPJ	2007	DBLP DOI BibTeX RDF	Java API, software reuse, expertise location, peer support
12	Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna	On Rigorous Design and Implementation of Fault Tolerant Ambient Systems.	ISORC	2007	DBLP DOI BibTeX RDF
12	Thomas A. M. Bernard, Chris R. Jesshope, Peter M. W. Knijnenburg	Strategies for Compiling µ TC to Novel Chip Multiprocessors.	SAMOS	2007	DBLP DOI BibTeX RDF
12	David Gay, Robert Ennals, Eric A. Brewer	Safe manual memory management.	ISMM	2007	DBLP DOI BibTeX RDF	C, safety, memory management, reference counting
12	Jennifer Stoll, Dave McColgin, Michelle Gregory, Vern Crow, W. Keith Edwards	Adapting Personas for Use in Security Visualization Design.	VizSEC	2007	DBLP DOI BibTeX RDF
12	Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach	Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications.	ATVA	2007	DBLP DOI BibTeX RDF
12	Makoto Nakayama, Norma G. Sutcliffe	Perspective-driven IT talent acquisition.	CPR	2007	DBLP DOI BibTeX RDF	IT personnel evaluation, taxonomy, perspective, IT skills
12	Syed M. S. Islam, Mohammed Bennamoun, Robyn A. Owens, Rowan Davies	Biometric Approaches of 2D-3D Ear and Face: A Survey.	SCSS (1)	2007	DBLP DOI BibTeX RDF
12	Torsten Grust, Jan Rittinger, Jens Teubner	Data-intensive XQuery debugging with instant replay.	XIME-P	2007	DBLP DOI BibTeX RDF
12	Yong Zhang	Dynamically simulating and visualizing the engineering specification of high power supply test system.	SpringSim (3)	2007	DBLP BibTeX RDF	engineering specification, high power supply test system, visualization
12	Shaxun Chen, JiDong Ge, XianPing Tao, Jian Lu 0001	A Transaction Model for Context-Aware Applications.	GPC	2007	DBLP DOI BibTeX RDF
12	Alexei Iliasov, Alexander B. Romanovsky, Budi Arief	A Framework for Open Distributed System Design.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
12	Hasan Celik, Alan Hanjalic, Emile A. Hendriks	On the development of an autonomous and self-adaptable moving object detector.	AVSS	2007	DBLP DOI BibTeX RDF
12	Peng Guan, Yaoliang Yu, Liming Zhang 0001	Discriminant Analysis with Label Constrained Graph Partition.	ISNN (2)	2007	DBLP DOI BibTeX RDF
12	Gabriel Jakobson, John F. Buford, Lundy Lewis	Situation Management: Basic Concepts and Approaches.	IF&GIS	2007	DBLP DOI BibTeX RDF
12	Sascha Gädtke, Claus Traulsen, Reinhard von Hanxleden	HW/SW co-design for Esterel processing.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	reactive processing, synchronous languages, Esterel, HW/SW co-design
12	Iuri Frosio, Mirko Lucchese, N. Alberto Borghese	A new and reliable Poisson noise estimator for radiographic images.	ICIAP	2007	DBLP DOI BibTeX RDF
12	Ferdinando Di Martino, Salvatore Sessa 0002	A Genetic Algorithm Based on Eigen Fuzzy Sets for Image Reconstruction.	WILF	2007	DBLP DOI BibTeX RDF	max ??? min composition, min ??? max composition, eigen fuzzy set, genetic algorithm, image reconstruction
12	Abhisek Ukil, Adrian Barlocher	Implementation of Discrete Wavelet Transform for Embedded Applications using TMS320VC5510.	SIES	2007	DBLP DOI BibTeX RDF
12	Changyeol Choi, Du Wan Cheun, Soo Dong Kim	Design of Autonomic SLA Manager for Service Applications.	ICEBE	2007	DBLP DOI BibTeX RDF
12	Xiaoning Du 0002, Hong Wang, Qun Dang, Xiaoshi Liu, YongXuan Huang	Optimization algorithm of initial orbit based on internal penalty function method.	SMC	2007	DBLP DOI BibTeX RDF
12	Shoichi Nakamura, Keisuke Suzuki, Setsuo Yokoyama, Youzou Miyadera	A Learning Environment for Understanding of Program Division Patterns.	KES (3)	2007	DBLP DOI BibTeX RDF	program division, program modularization, active variable, program visualization
12	Werner E. Kluge	Abstract lambda-Calculus Machines.	CEFP	2007	DBLP DOI BibTeX RDF
12	David Woods	Measuring how design changes cognition at work.	UIST	2007	DBLP DOI BibTeX RDF	usability, change, interactive software
12	Stijn De Buck, Frederik Maes, André D'Hoore, Paul Suetens	Evaluation of a Novel Calibration Technique for Optically Tracked Oblique Laparoscopes.	MICCAI (1)	2007	DBLP DOI BibTeX RDF
12	Ryan Gerard, Robert R. Downs, James J. Marshall, Robert E. Wolfe	The Software Reuse Working Group: A Case Study in Fostering Reuse.	IRI	2007	DBLP DOI BibTeX RDF
12	Zbigniew Bonikowski, Urszula Wybraniec-Skardowska	Rough Sets and Vague Sets.	RSEISP	2007	DBLP DOI BibTeX RDF
12	Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid	Sequential Circuits for Relational Analysis.	ICSE	2007	DBLP DOI BibTeX RDF
12	Francis St-Onge, David Kidston, Isabelle Labbé	A Multi-level Policy Representation for Management Services in Maritime Networks.	POLICY	2007	DBLP DOI BibTeX RDF
12	Hien T. Nguyen, Tru Hoang Cao	A Knowledge-Based Approach to Named Entity Disambiguation in News Articles.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF	ontology, semantic web, knowledge base, Name disambiguation, coreference resolution
12	Milo M. K. Martin, Colin Blundell, E Christopher Lewis	Subtleties of Transactional Memory Atomicity Semantics.	IEEE Comput. Archit. Lett.	2006	DBLP DOI BibTeX RDF
12	Zhiguo Gong, Leong Hou U, Chan Wa Cheang	Web image indexing by using associated texts.	Knowl. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Text-based, Segmentation, Indexing, Retrieval, Web images
12	Ramiro Liscano, Anand Dersingh, Allan G. Jost, Hao Hu	Discovering and Managing Access to Private Services in Collaborative Sessions.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
12	Dorina C. Gumm	Distribution Dimensions in Software Development Projects: A Taxonomy.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	CommSy, requirements engineering, case study, global software development, distributed development
12	V. Krishna Nandivada, Suresh Jagannathan	Dynamic state restoration using versioning exceptions.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Program analysis, Transactions, Versioning, Exceptions, Points to analysis, Rollback
12	Stefano Marinoni, Hannu H. Kari	Ad hoc routing protocol's performance: a realistic simulation based study.	Telecommun. Syst.	2006	DBLP DOI BibTeX RDF	Realistic simulation, Radio signal propagation, Performance evaluation, Mobility model, Network modeling
12	Andreas Bauer 0002, Martin Leucker, Jonathan Streit	SALT - Structured Assertion Language for Temporal Logic.	ICFEM	2006	DBLP DOI BibTeX RDF
12	Felix Köbler, Jan Marco Leimeister, Artur Lugmayr	Framework for Systematic and Strategic Planning of Innovation-Based Mobile Broadband Services.	PDP	2006	DBLP DOI BibTeX RDF
12	Seungwon Yang, Edward A. Fox, Barbara M. Wildemuth, Jeffrey Pomerantz, Sanghee Oh	Interdisciplinary Curriculum Development for Digital Library Education.	ICADL	2006	DBLP DOI BibTeX RDF	5S framework, education, digital library, curriculum, CC2001
12	Matthew Flatt, Robert Bruce Findler, Matthias Felleisen	Scheme with Classes, Mixins, and Traits.	APLAS	2006	DBLP DOI BibTeX RDF
12	Matthias Brantner, Sven Helmer, Carl-Christian Kanne, Guido Moerkotte	Kappa-Join: Efficient Execution of Existential Quantification in XML Query Languages.	XSym	2006	DBLP DOI BibTeX RDF
12	Hugo A. Mitre-Hernández, Ana Isabel González-Tablas Ferreres, Benjamín Ramos, Arturo Ribagorda	A Legal Ontology to Support Privacy Preservation in Location-Based Services.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF	Ontology, privacy, location-based services, regulation
12	Budi Arief, Alexei Iliasov, Alexander B. Romanovsky	On Developing Open Mobile Fault Tolerant Agent Systems.	SELMAS (LNCS)	2006	DBLP DOI BibTeX RDF	ambient lecture, middleware, Mobile agents, coordination, exception handling, Linda, system structuring
12	Ruey-Shyang Wu, Kuo-Jung Su, Fengyi Lin, Shyan-Ming Yuan	FJM2 - A Decentralized JMS System.	TEAA	2006	DBLP DOI BibTeX RDF	Multi-cast, Enterprise Application Integration, Message Oriented Middleware, Java Message Service
12	Xinyu Feng 0001, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni	Modular verification of assembly code with stack-based control abstractions.	PLDI	2006	DBLP DOI BibTeX RDF	assembly code verification, control abstractions, stack-based, modularity, proof-carrying code
12	Stefano Marinoni, Hannu H. Kari	Ad Hoc Routing Protocol Performance in a Realistic Environment.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
12	Davinia Hernández Leo, Eloy D. Villasclaras-Fernández, Juan I. Asensio-Pérez, Yannis A. Dimitriadis, Symeon Retalis	CSCL Scripting Patterns: Hierarchical Relationships and Applicability.	ICALT	2006	DBLP DOI BibTeX RDF
12	Marko Samer, Stefan Szeider	Constraint Satisfaction with Bounded Treewidth Revisited.	CP	2006	DBLP DOI BibTeX RDF
12	Xuemei Guan, Liping Sun, Jun Cao	Level Set Method Based on Improved Mumford-Shah Model Applied in Wood Cell Image Segmentation.	IJCNN	2006	DBLP DOI BibTeX RDF
12	Tak-Wai Chan, Fei Ching Chen, Chih-Yueh Chou	Profile Enhanced Classroom Learning.	WMTE	2006	DBLP DOI BibTeX RDF
12	Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky	Rigorous Development of Fault-Tolerant Agent Systems.	RODIN Book	2006	DBLP DOI BibTeX RDF
12	Bert Lagaisse, Wouter Joosen	True and Transparent Distributed Composition of Aspect-Components.	Middleware	2006	DBLP DOI BibTeX RDF
12	Marin Litoiu, C. Murray Woodside, Tao Zheng	Hierarchical model-based autonomic control of software systems.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	performance models, autonomic computing, self-management
12	Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002	Enforcing Secure Service Composition.	CSFW	2005	DBLP DOI BibTeX RDF
12	Nicholas A. Kraft, Brian A. Malloy, James F. Power	Toward an Infrastructure to Support Interoperability in Reverse Engineering.	WCRE	2005	DBLP DOI BibTeX RDF
12	José-Antonio Alonso, María Teresa Lamata	A Statistical Criterion of Consistency in the Analytic Hierarchy Process.	MDAI	2005	DBLP DOI BibTeX RDF
12	Hidenori Yamamoto, Shigetoshi Sameshima	Platform-Independent Domain Management Using Super Distributed Objects (SDO) in Context-Aware Service Systems.	SAINT Workshops	2005	DBLP DOI BibTeX RDF
12	Kayhan Gulez, Mehmet Uzunoglu, Omer Caglar Onar, Bulent Vural	Power Op-Amp Based Active Filter Design with Self Adjustable Gain Control by Neural Networks for EMI Noise Problem.	ICIC (1)	2005	DBLP DOI BibTeX RDF
12	Peng Wu 0001, Alexandre E. Eichenberger, Amy Wang, Peng Zhao	An integrated simdization framework using virtual vectors.	ICS	2005	DBLP DOI BibTeX RDF
12	Krishna Raman, Yue Zhang 0001, Mark Panahi, Juan A. Colmenares, Raymond Klefstad	Patterns and Tools for Achieving Predictability and Performance with Real-Time Java.	RTCSA	2005	DBLP DOI BibTeX RDF
12	Takashi Hamaguchi, Taku Yamazaki, Meng Hu, Masaru Sakamoto, Koji Kawano, Teiji Kitajima, Yukiyasu Shimada, Yoshihiro Hashimoto, Toshiaki Itoh	Analogical Reasoning Based on Task Ontologies for On-Line Support.	KES (1)	2005	DBLP DOI BibTeX RDF
12	Torbjörn Ekman 0001, Görel Hedin	Modular Name Analysis for Java Using JastAdd.	GTTSE	2005	DBLP DOI BibTeX RDF
12	Hubie Chen, Víctor Dalmau	Beyond Hypertree Width: Decomposition Methods Without Decompositions.	CP	2005	DBLP DOI BibTeX RDF
12	René Meier, Vinny Cahill, Andronikos Nedos, Siobhán Clarke	Proximity-Based Service Discovery in Mobile Ad Hoc Networks.	DAIS	2005	DBLP DOI BibTeX RDF
12	Krishna Raman, Yue Zhang 0001, Mark Panahi, Juan A. Colmenares, Raymond Klefstad, Trevor Harmon	RTZen: Highly Predictable, Real-Time Java Middleware for Distributed and Embedded Systems, .	Middleware	2005	DBLP DOI BibTeX RDF
12	Karen Fullam, Tomas B. Klos, Guillaume Muller 0001, Jordi Sabater, Zvi Topol, K. Suzanne Barber, Jeffrey S. Rosenschein, Laurent Vercouter	A demonstration of the Agent Reputation and Trust (ART): testbed for experimentation and competition.	AAMAS	2005	DBLP DOI BibTeX RDF
12	Alessandra A. Macedo, Renato Bulcão Neto, José Antonio Camacho Guerrero, Carlos Henrique O. Jardim, Renan G. Cattelan, Valter R. Inacio Jr., Maria da Graça Campos Pimentel	Linking Everyday Presentations through Context Information.	LA-WEB	2005	DBLP DOI BibTeX RDF
12	Kamal Aboul-Hosn, Terese Andersen	A Proof-Theoretic Approach to Hierarchical Math Library Organization.	MKM	2005	DBLP DOI BibTeX RDF
12	Rüdiger Gartmann, Bernhard Holtkamp, Norbert Weißenberg	Service Roaming in Mobile Applications.	IEEE SCC	2005	DBLP DOI BibTeX RDF
12	Ionut Emil Iacob, Alex Dekhtyar	Parsing concurrent XML.	WIDM	2004	DBLP DOI BibTeX RDF	GODDAG, concurrent XML, overlapping markup, DOM
12	Weirong Wang, Aloysius K. Mok, Gerhard Fohler	Generalized Pre-Scheduler.	ECRTS	2004	DBLP DOI BibTeX RDF
12	Yasushi Umezawa, Takeshi Shimizu	A Formal Verification Methodology for Checking Data Integrity.	DATE	2004	DBLP DOI BibTeX RDF
12	Jon Atle Gulla	Understanding Requirements in Enterprise Systems Projects.	RE	2004	DBLP DOI BibTeX RDF
12	Hans Langmaack	Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
12	Tanaka Shin, Kurata Hiroyuki, Takeshi Ohashi	Optimization of E.Coli heat shock response parameter tuning using distributed and integrated genetic algorithms.	SMC (2)	2004	DBLP DOI BibTeX RDF
12	Tian Zhao, James Noble 0001, Jan Vitek	Scoped Types for Real-Time Java.	RTSS	2004	DBLP DOI BibTeX RDF
12	Sergio Antoy, Stephen Johnson	Formalization and abstract implementation of rewriting with nested rules.	PPDP	2004	DBLP DOI BibTeX RDF	term rewriting systems, non-determinism, narrowing, functional logic programming, block structured
12	A. T. Sivaram, Pascal Pierra, Shida Sheibani, Nancy Wang-Lee, Jorge E. Solorzano, Lily Tran	Active Tester Interface Unit Design For Data Collection.	ITC	2004	DBLP DOI BibTeX RDF
12	Jochem Vonk, Paul W. P. J. Grefen	Cross-Organizational Transaction Support for E-Services in Virtual Enterprises.	Distributed Parallel Databases	2003	DBLP DOI BibTeX RDF	service outsourcing, cross-organizational business process, workflow management, virtual enterprise, e-service, transaction management, B2B e-commerce
12	Peter Vanbroekhoven, Henk Corporaal, Francky Catthoor	Advanced copy propagation for arrays.	LCTES	2003	DBLP DOI BibTeX RDF	copy propagation, optimization, arrays, single assignment
12	Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard	Integrating Model Checking and Theorem Proving for Relational Reasoning.	RelMiCS	2003	DBLP DOI BibTeX RDF
12	Meng-Feng Tsai, Wesley W. Chu	A Multidimensional Aggregation Object (MAO) Framework for Computing Distributive Aggregations.	DaWaK	2003	DBLP DOI BibTeX RDF
12	Dimitri Hendriks, Vincent van Oostrom	adbmal	CADE	2003	DBLP DOI BibTeX RDF
12	Frank M. Brown	Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations.	TABLEAUX	2003	DBLP DOI BibTeX RDF
12	Kamal Premaratne, Duminda A. Dewasurendra, Peter H. Bauer	Evidence updating in a heterogeneous sensor environment.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
12	Tim Stockheim, Michael Schwind, Wolfgang König	A Model for the Emergence and Diffusion of Software Standards.	HICSS	2003	DBLP DOI BibTeX RDF
12	John R. James	Modeling of information dominance in complex systems: A system partitioning and hybrid control framework.	HICSS	2003	DBLP DOI BibTeX RDF
12	Samuel T. Redwine Jr.	Dissecting Trust and the Assurance-Violation Dynamic.	HICSS	2003	DBLP DOI BibTeX RDF
12	Martin James Green, David A. Cohen	Tractability by Approximating Constraint Languages.	CP	2003	DBLP DOI BibTeX RDF
12	Antoine Colin, Guillem Bernat	Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time Analysis.	ECRTS	2002	DBLP DOI BibTeX RDF