Search results for "shipping"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Klaas Wijbrans, Franc Buve, Robin Rijkers, Wouter Geurts	Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System.	FM	2008	DBLP DOI BibTeX RDF
12	Kazutoshi Kobayashi, Hidetoshi Onodera	Best ways to use billions of devices on a chip - Error predictive, defect tolerant and error recovery designs.	ASP-DAC	2008	DBLP DOI BibTeX RDF
12	Miguel Branco, Ed Zaluska, David De Roure, Pedro Salgado, Vincent Garonne, Mario Lassnig, Ricardo Rocha 0002	Managing Very-Large Distributed Datasets.	OTM Conferences (1)	2008	DBLP DOI BibTeX RDF	Distributed Systems, Grid Computing, Data Management, Data Grids, Datasets
12	L. Douglas Smith, Donald C. Sweeney II, James F. Campbell, Robert M. Nauss	Simulation of operating procedures and infrastructure changes in the upper Mississippi navigation system.	SpringSim	2008	DBLP DOI BibTeX RDF	inland waterway operations, transportation infrastructure, DES, optimal scheduling
12	F. Geldof, B. C. van Haarlem, W. Lock, Ella E. Roubtsova	Modelling and simulation of high capacity waterside container handling systems at deep-sea terminals.	SpringSim	2008	DBLP DOI BibTeX RDF	adjustable simulation model, container handling system, container workflow, productivity improvement, quay crane concepts
12	Luyi Gui, Özlem Ergun	Dual Payoffs, Core and a Collaboration Mechanism Based on Capacity Exchange Prices in Multicommodity Flow Games.	WINE	2008	DBLP DOI BibTeX RDF	Multicommodity Flow Game, Dual Payoffs, Exchange Prices, Mechanism Design, Core
12	Kaustav Das, Jeff G. Schneider, Daniel B. Neill	Anomaly pattern detection in categorical datasets.	KDD	2008	DBLP DOI BibTeX RDF	machine learning, anomaly detection, pattern detection
12	Darryl K. Ahner, Jonathon K. Alt, Francisco Baez, John Jackson, Susan M. Sanchez, Thorsten Seitz	Incorporating information networks into military simulations.	WSC	2008	DBLP DOI BibTeX RDF
12	Christopher Milligan, Doug Meiser	Flexible simulations for manufacturing.	WSC	2008	DBLP DOI BibTeX RDF
12	Rachid Guerraoui	The Return of Transactions.	ECOOP	2008	DBLP DOI BibTeX RDF
12	Jeong-eun Lee, Mitsuo Gen, Kyong-gu Rhee	Designing a multistage reverse logistics network problem by hybrid genetic algorithm.	GECCO	2008	DBLP DOI BibTeX RDF	multistage reverse logistics network problem, priority-based encoding method, weight mapping crossover, genetic algorithm
12	Xianwen Ke, Hao Zhou, Nan Jin, Xiaoxia Wan, Jianjun Zhao	Establishment of Containers Management System Based on RFID Technology.	CSSE (6)	2008	DBLP DOI BibTeX RDF
12	Christian Brecher, Martin Weinzierl	Manufacturing of Devices for the Parallel Precision Alignment of Multiple Micro Components.	IPAS	2008	DBLP DOI BibTeX RDF
12	Jean-François Audy, Sophie D'Amours	Impact of Benefit Sharing Among Companies in the Implantation of a Collaborative Transportation System - An Application in the Furniture Industry.	Virtual Enterprises and Collaborative Networks	2008	DBLP DOI BibTeX RDF
12	Hartmut Kapitza	MOPS - A Morphodynamical Prediction System on Cluster Computers.	VECPAR	2008	DBLP DOI BibTeX RDF	Topics Large Scale Simulations in CS? Parallel and Distributed Computing, Cluster Computing
12	Klaus Fischer 0001, Christian Hahn 0001, Stefan Warwas	Modeling TeleTruck: A Case Study.	ESAW	2008	DBLP DOI BibTeX RDF
12	Kamil Iskra, John W. Romein, Kazutomo Yoshii, Peter H. Beckman	ZOID: I/O-forwarding infrastructure for petascale architectures.	PPoPP	2008	DBLP DOI BibTeX RDF	i/o forwarding, petascale
12	Hemat K. Maheshwari, Andrew H. Kemp 0001, Qinghua Zeng	Range Based Real Time Localization in Wireless Sensor Networks.	IMTIC	2008	DBLP DOI BibTeX RDF	Real Time Localization, Two-Way Ranging, freight containers, Wireless Sensor Networks, IEEE 802.15.4
12	Mohamed Jawad, Patricia Serrano-Alvarado, Patrick Valduriez	Design of PriServ, a privacy service for DHTs.	PAIS	2008	DBLP DOI BibTeX RDF
12	Allen Ajit George, Paul A. S. Ward	An architecture for providing context in WS-BPEL processes.	CASCON	2008	DBLP DOI BibTeX RDF
12	Kanak Agarwal, Rahul M. Rao, Dennis Sylvester, Richard B. Brown	Parametric Yield Analysis and Optimization in Leakage Dominated Technologies.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
12	Marios Mavronicolas, Paul G. Spirakis	The Price of Selfish Routing.	Algorithmica	2007	DBLP DOI BibTeX RDF
12	Mike P. Papazoglou, Benedikt Kratz	Web services technology in support of business transactions.	Serv. Oriented Comput. Appl.	2007	DBLP DOI BibTeX RDF	Web services transactions, Business functions, Business process orchestration, QoS principles, Business process integration, Business protocols, Business transactions
12	Nobuyoshi Sato, Minoru Uehara, Koichiro Shimomura, Hirobumi Yamamoto, Ken'ichi Kamijo	Evaluations on Classified Selection of Dense Vectors for Vegetable Geographical Origin Identification System Using Trace Elements.	NBiS	2007	DBLP DOI BibTeX RDF	Geographical origin identification by trace element compositions, efficient retrieval of dense vector
12	Robert K. Cunningham, Steven Cheung, Martin W. Fong, Ulf Lindqvist, David M. Nicol, Ronald Pawlowski, Eric Robinson, William H. Sanders, Sankalp Singh, Alfonso Valdes, Bradley Woodworth, Michael Zhivich	Securing Current and Future Process Control Systems.	Critical Infrastructure Protection	2007	DBLP DOI BibTeX RDF	secure platforms, vulnerability testing, access control, intrusion detection, Process control systems
12	Mateusz Malinowski, Matthew Moskwa, Mark Feldmeier, Mathew Laibowitz, Joseph A. Paradiso	CargoNet: a low-cost micropower sensor node exploiting quasi-passive wakeup for adaptive asychronous monitoring of exceptional events.	SenSys	2007	DBLP DOI BibTeX RDF	micropower sensing, power management, active RFID
12	Andrew DeOrio, Adam Bauserman, Valeria Bertacco	Chico: An On-chip Hardware Checker for Pipeline Control Logic.	MTV	2007	DBLP DOI BibTeX RDF
12	Angeliki Karagiannaki, Ioannis Mourtos, Katerina Pramatari	Simulating and evaluating the impact of RFID on warehousing operations: a case study.	SCSC	2007	DBLP BibTeX RDF	warehouse management, RFID, discrete event simulation, supply chain
12	Thorsten Altenkirch, Conor McBride, Wouter Swierstra	Observational equality, now!	PLPV	2007	DBLP DOI BibTeX RDF	type theory, equality
12	Ning Gu, Zhihong Liu, Tun Lu, Fang Wang	Fuzzy Classification for Manufacture Design Documents Based on Domain Ontology and Document Structure Tagging.	CSCWD	2007	DBLP DOI BibTeX RDF
12	Christopher M. Gold, Rafal Goralski	3D Graphics Applied to Maritime Safety.	IF&GIS	2007	DBLP DOI BibTeX RDF	Marine GIS, Maritime Safety, ECDIS, ENC, Marine Charts, Voronoi Diagram, AIS, 3D Visualization, Kinetic Data Structures
12	William Jones 0001, Jared M. Spool, Jonathan Grudin, Victoria Bellotti, Mary Czerwinski	"Get real!": what's wrong with hci prototyping and how can we fix it?	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	evaluation, prototyping, usability testing
12	Min Wang	Fuzzy Multi-attribute Decision Making Under Interval Number.	FSKD (2)	2007	DBLP DOI BibTeX RDF
12	Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Arvind Seshadri	Minimal TCB Code Execution.	S&P	2007	DBLP DOI BibTeX RDF
12	Nobuyoshi Sato, Minoru Uehara, Koichiro Shimomura, Hirobumi Yamamoto, Ken'ichi Kamijo	On Rejecting Outliers by Smirnov Test for Massive Data Input System in Vegetable Geographical Origin Identification System.	AINA	2007	DBLP DOI BibTeX RDF
12	Phillip G. Bradford, Daniel A. Ray	Using Digital Chains of Custody on Constrained Devices to Verify Evidence.	ISI	2007	DBLP DOI BibTeX RDF
12	Qiang Wang, M. Tamer Özsu	An Efficient Eigenvalue-based P2P XML Routing Framework.	Peer-to-Peer Computing	2007	DBLP DOI BibTeX RDF
12	Meriam Kefi, Ouajdi Korbaa, Khaled Ghédira, Pascal Yim	Container Handling Using Multi-agent Architecture.	KES-AMSTA	2007	DBLP DOI BibTeX RDF	Space allocation, Container stacking, Multi-agent systems, transportation, Container terminal
12	Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha	Transactional programming in a multi-core environment.	PPoPP	2007	DBLP DOI BibTeX RDF	parallel programming, transactional memory, atomicity, hardware architecture
12	Maurice Herlihy	The Multicore Revolution.	FSTTCS	2007	DBLP DOI BibTeX RDF
12	Amit P. Sheth, Karthik Gomadam	The 4 x 4 Semantic Model: Exploiting Data, Functional, Non-functional and Execution Semantics Across Business Process, Workflow, Partner Services and Middleware Services Tiers.	ICEIS (Selected Papers)	2007	DBLP DOI BibTeX RDF
12	Colin Ware, Roland Arsenault, Matthew Plumlee, David Wiley	Visualizing the Underwater Behavior of Humpback Whales.	IEEE Computer Graphics and Applications	2006	DBLP DOI BibTeX RDF	whale behavior, GeoZui4D, geospatial data
12	Michael A. Howard	A process for performing security code reviews.	IEEE Secur. Priv.	2006	DBLP DOI BibTeX RDF
12	Mike P. Papazoglou, Benedikt Kratz	A Business-Aware Web Services Transaction Model.	ICSOC	2006	DBLP DOI BibTeX RDF
12	Sun S. Chung, Gultekin Özsoyoglu	Anti-Tamper Databases: Processing Aggregate Queries over Encrypted Databases.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
12	Minho Sung, Abhishek Kumar 0003, Li (Erran) Li, Jia Wang 0001, Jun (Jim) Xu	Scalable and Efficient Data Streaming Algorithms for Detecting Common Content in Internet Traffic.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
12	Saran Somanathan, Peter C. Flynn, Jozef Szymanski	The northwest passage: a simulation.	WSC	2006	DBLP DOI BibTeX RDF
12	Qi Zhao 0006, Mitsunori Ogihara, Haixun Wang, Jun (Jim) Xu	Finding global icebergs over distributed data sets.	PODS	2006	DBLP DOI BibTeX RDF	icebergs, data streaming, statistical inference
12	Thomas Rauber, Gudula Rünger	Anticipated distributed task scheduling for grid environments.	IPDPS	2006	DBLP DOI BibTeX RDF
12	Luke Kowalski, Jeremy Ashley, Misha W. Vaughan	When design is not the problem: better usability through non-design means.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	usability marginalization, design, design techniques, stakeholder analysis, design management
12	Austin Henderson, Lisa Anderson, Jeremy Ashley, Patrik Heuman, Janice Rohn	The route to the sea for user value.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	management, business case, user value
12	Samuel Fosso Wamba, Louis A. Lefebvre, Élisabeth Lefebvre	Enabling intelligent B-to-B eCommerce supply chain management using RFID and the EPC network: a case study in the retail industry.	ICEC	2006	DBLP DOI BibTeX RDF	EPC network, intelligent processes, intelligent products, retail industry, warehouse management, RFID, supply chain management
12	Panagiotis Manolios	Refinement and Theorem Proving.	SFM	2006	DBLP DOI BibTeX RDF
12	Maurice Herlihy	The art of multiprocessor programming.	PODC	2006	DBLP DOI BibTeX RDF
12	Chia-Ho Chen, Ching-Jung Ting	Applying Multiple Ant Colony System to Solve Single Source Capacitated Facility Location Problem.	ANTS Workshop	2006	DBLP DOI BibTeX RDF
12	Andrew Lim 0001, Hong Ma, Zhaowei Miao	Truck Dock Assignment Problem with Time Windows and Capacity Constraint in Transshipment Network Through Crossdocks.	ICCSA (3)	2006	DBLP DOI BibTeX RDF	crossdocks, dock assignment, Heuristic search
12	Jeffrey C. Mogul, Martin F. Arlitt	SC2D: an alternative to trace anonymization.	MineNet	2006	DBLP DOI BibTeX RDF	trace anonymization
12	Kenichi Iwata, Mariko Sasakura, Susumu Yamasaki	Visualization for Management of Electronics Product Composition.	IV	2005	DBLP DOI BibTeX RDF
12	Toshiji Kawagoe, Shihomi Wada	A Counterexample for the Bullwhip Effect: Gaming and Multiagent Simulations.	JSAI Workshops	2005	DBLP DOI BibTeX RDF	Beer Game, Supply chain, multiagent simulation, bullwhip effect
12	Brendan Eich	JavaScript at ten years.	ICFP	2005	DBLP DOI BibTeX RDF	JavaScript
12	Maurice Herlihy	The transactional manifesto: software engineering and non-blocking synchronization.	PLDI	2005	DBLP DOI BibTeX RDF
12	Toshiji Kawagoe, Shihomi Wada	The Bullwhip Effect: A Counterexample.	IAT	2005	DBLP DOI BibTeX RDF	Beer Game, Supply chain, multiagent simulation, bullwhip effect
12	Ari Juels	Strengthening EPC tags against cloning.	Workshop on Wireless Security	2005	DBLP DOI BibTeX RDF	track and trace, authentication, RFID, cloning, EPC, counterfeiting
12	Srinivas, Yogesh Dashora, Alok Kumar Choudhary, Jenny A. Harding, M. K. Tiwari	A Cooperative Multi Colony Ant Optimization Based Approach to Efficiently Allocate Customers to Multiple Distribution Centers in a Supply Chain Network.	ICCSA (4)	2005	DBLP DOI BibTeX RDF	Balanced allocation, Cooperative Multi Colony Ants, Supply chain, ANOVA
12	Rahul M. Rao, Kanak Agarwal, Anirudh Devgan, Kevin J. Nowka, Dennis Sylvester, Richard B. Brown	Parametric Yield Analysis and Constrained-Based Supply Voltage Optimization.	ISQED	2005	DBLP DOI BibTeX RDF
12	Kam-yiu Lam, Henry Chi-Wai Pang, Sang Hyuk Son, BiYu Liang	Reliable Data Aggregation for Real-Time Queries in Wireless Sensor Systems.	NPC	2004	DBLP DOI BibTeX RDF
12	Granville Miller, Scott W. Ambler, Steve Cook, Stephen J. Mellor, Karl Frank, Jon Kern	Model driven architecture: the realities, a year later.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	model driven architecture, object constraint language, executable UML
12	Ana R. Cavalli, Stéphane Maag	Automated test scenarios generation for an e-barter system.	SAC	2004	DBLP DOI BibTeX RDF	formal methods, e-commerce, testing tools, specification techniques
12	Taweepol Suesut, B. Mongkhoin	Demand forecasting approach inventory control for CIMS.	ICARCV	2004	DBLP DOI BibTeX RDF
12	Rosario Uceda-Sosa, Cindy X. Chen, Kajal T. Claypool	CLOVE: A Framework to Design Ontology Views.	ER	2004	DBLP DOI BibTeX RDF
12	Nirmit Desai, Munindar P. Singh	Protocol-Based Business Process Modeling and Enactment.	ICWS	2004	DBLP DOI BibTeX RDF
12	Keqiang Wu, David J. Lilja	Self-tuning Speculation for Maintaining the Consistency of Client-Cached Data.	ICPADS	2004	DBLP DOI BibTeX RDF
12	Toshihiro Fujito, Takatoshi Yabuta	Submodular Integer Cover and Its Application to Production Planning.	WAOA	2004	DBLP DOI BibTeX RDF
12	Javier Esplugas Cuadrado, Chris Preist, Stuart K. Williams	Integration of B2B Logistics Using Semantic Web Services.	AIMSA	2004	DBLP DOI BibTeX RDF	Semantic Web Services, SCM, Logistics, Enterprise Integration
12	Daniel Dajun Zeng, James C. Cox, Moshe Dror	Coordination of Purchasing and Bidding Activities across Markets.	HICSS	2004	DBLP DOI BibTeX RDF
12	Eva Ponce, Alfonso Durán, Teresa Sánchez	Security Consequences of Messaging Hubs in Many-to-Many E-procurement Solutions.	ICCSA (1)	2004	DBLP DOI BibTeX RDF
12	Ramyanshu Datta, Antony Sebastine, Ashwin Raghunathan, Jacob A. Abraham	On-chip delay measurement for silicon debug.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	design for testability, delay fault testing, silicon debug
12	Andrew Lim 0001, Brian Rodrigues, Zhou Xu 0001	Approximation Schemes for the Crane Scheduling Problem.	SWAT	2004	DBLP DOI BibTeX RDF
12	Kam-yiu Lam, Henry Chi-Wai Pang, Sang Hyuk Son, BiYu Liang	On Using Temporal Consistency for Parallel Execution of Real-Time Queries in Wireless Sensor Systems.	ISPA	2004	DBLP DOI BibTeX RDF
12	John C. Johnson	Options for High-Volume Test of Multi-GB/s Ports.	ITC	2004	DBLP DOI BibTeX RDF
12	Andrew Lim 0001, Fan Wang 0003, Zhou Xu 0001	On the Selection and Assignment with Minimum Quantity Commitments.	COCOON	2004	DBLP DOI BibTeX RDF
12	Perry H. Wang, Jamison D. Collins, Hong Wang 0003, Dongkeun Kim, Bill Greene, Kai-Ming Chan, Aamir B. Yunus, Terry Sych, Stephen F. Moore, John Paul Shen	Helper threads via virtual multithreading on an experimental itanium® 2 processor-based platform.	ASPLOS	2004	DBLP DOI BibTeX RDF	DB2 database, cache miss prefetching, itanium processor, switch-on-event, multithreading, helper thread, PAL
12	David J. Scott, Richard Sharp	Specifying and Enforcing Application-Level Web Security Policies.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	Application-level Web security, security policy description languages, component-based design
12	Shahram Ghandeharizadeh, Christos Papadopoulos, Parikshit Pol, Runfang Zhou	NAM: A Network Adaptable Middleware to Enhance Response Time of Web Services.	MASCOTS	2003	DBLP DOI BibTeX RDF
12	Juyoung Kang 0001, Jae Kyu Lee	Extraction of Structured Rules from Web Pages and Maintenance of Mutual Consistency: XRML Approach.	RuleML	2003	DBLP DOI BibTeX RDF
12	Thomas Lücking 0001, Marios Mavronicolas, Burkhard Monien, Manuel Rode, Paul G. Spirakis, Imrich Vrto	Which Is the Worst-Case Nash Equilibrium?	MFCS	2003	DBLP DOI BibTeX RDF
12	Yongyi Xie, Weishi Zhang	Component-Based Workflow Architecture of a Distributed Software Process Management System.	QSIC	2003	DBLP DOI BibTeX RDF	Software Process Improvement Software Quality Assurance, Workflow, Software Component, Cooperative Work, Software Process Management
12	Hua-Gang Li, Divyakant Agrawal, Amr El Abbadi, Mirek Riedewald	Exploiting the Multi-Append-Only-Trend Property of Historical Data in Data Warehouses.	SSTD	2003	DBLP DOI BibTeX RDF
12	Gilles-Eric Descamps, Satish Bagalkotkar, Subramaniam Ganesan, Satish Iyengar, Alain Pirson	Design of a 17-million gate network processor using a design factory.	DAC	2003	DBLP DOI BibTeX RDF
12	Algis Rudys, Dan S. Wallach	Termination in language-based systems.	ACM Trans. Inf. Syst. Secur.	2002	DBLP DOI BibTeX RDF	soft termination, Java, Internet, termination, Applets, resource control
12	Vinay Kanitkar, Alex Delis	Real-Time Processing in Client-Server Databases.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	real-time transaction processing, client-server databases, experimental performance evaluation
12	T. M. Ong, Teck Meng Lim, Bu-Sung Lee, Chai Kiat Yeo	Unicorn: voluntary computing over Internet.	ACM SIGOPS Oper. Syst. Rev.	2002	DBLP DOI BibTeX RDF	brokering of computing power, voluntary computing, java, internet computing
12	Wenwu Lou, Hongjun Lu	Efficient prediction of web accesses on a proxy server.	CIKM	2002	DBLP DOI BibTeX RDF	web access prediction, proxy server, navigational model
12	Brian A. LaMacchia	Key Challenges in DRM: An Industry Perspective.	Digital Rights Management Workshop	2002	DBLP DOI BibTeX RDF
12	David J. Scott, Richard Sharp	Abstracting application-level web security.	WWW	2002	DBLP DOI BibTeX RDF	application-Level web security, security policy description language, component-based design
12	Vishvas Patel, James Ashby, John Ma	Manufacturing 3: discrete event simulation in automotive final process system.	WSC	2002	DBLP DOI BibTeX RDF
12	Thomas Kunz, Salim Omar	An Adaptive MP3 Player: Reducing Power Consumption and Increasing Application Performance.	HICSS	2002	DBLP DOI BibTeX RDF	mobile applications, mobile code, MP3, adaptive applications
12	Ho-Jin Hwang, Soonhung Han, Yong-Dea Kim	Mapping 2D Midship Drawings into 3D Structural Models based on STEP AP218.	GMP	2002	DBLP DOI BibTeX RDF
12	Deniz Demir, Haluk Topcuoglu, Ergun Kavukcu	Efficient Code Deployment for Heterogeneous Distributed Data Sources.	ADVIS	2002	DBLP DOI BibTeX RDF
12	Liang-Jie Zhang, Haifei Li 0002, Henry Chang, Tian Chao	XML-based Advanced UDDI Search Mechanism for B2B Integration.	WECWIS	2002	DBLP DOI BibTeX RDF