ppxscal/embedding_network huggingface dataset:
Control of Polling in Presence of Vacations in Heavy Traffic with Applications to Satellite and Mobile Radio Systems
Authors: Eitan Altman, Harold J. Kushner
Venue: SIAM Journal on Control and Optimization (2002)

Consider a queueing system with many queues, each with its own input stream, but with only one server. The server must allocate its time among the queues to minimize or nearly minimize some cost criterion. The allocation of time among the queues is often called polling and is the subject of a large literature. Usually, it is assumed that the queues are always available, and the server can allocate at will. We consider the case where the queues are not always available due to disruption of the connection between them and the server. Such occurrences are common in wireless communications, where any of the mobile sources might become unavailable to the server from time to time due to obstacles, atmospheric or other effects. The possibility of such ``vacations'' complicates the polling problem enormously. Due to the complexity of the basic problem we analyze it in the heavy traffic regime where the server has little idle time over the average requirements. It is shown that the suitable scaled total workloads converge to a controlled limit diffusion process with jumps. The jumps are due to the effects of the vacations. The control enters the dynamics only via its value just before a vacation begins; hence it is only via the jump value that the control affects the dynamics. This type of model has not received much attention. The individual queued workloads and job numbers can be recovered (asymptotically) from the limit scaled workload. This state space collapse is critical for the effective numerical and analytical work, since the limit process is one dimensional. It is also shown, under appropriate conditions, that the arrival process during a vacation can be approximated by the scaled "fluid" process. With a suitable nonlinear discounted cost rate, it is shown that the optimal costs for the physical problems converge to that for the limit problem as the traffic intensity approaches its heavy traffic limit. Explicit solutions are obtained in some simple but important cases, and the $c\mu$-rule is asymptotically optimal if there are no vacations. The stability of the queues is analyzed via a perturbed Liapunov function method, under quite general conditions on the data. Finally, we extend the results to unreliable channels where the data might be received with errors and need to be retransmitted.
Metadata management in federated multimedia systems
Authors: Mark Roantree
Venue: Proceedings of the 13th Australasian database conference - Volume 5 (2002)

A Federated Information System requires that multiple (often heterogenous) information systems are integrated to the extent that they can share data through views. One issue faced during the construction of federated view schemata is the continuous need to extract metadata from cooperating systems. This is more pressing in the case of federated multimedia systems where needless transfer of large binary objects affects system performance. Where participating systems employ an object-oriented common model to communicate, obtaining metadata is problematic due to the type and complexity of object-oriented metamodels. In the IOMPAR project, we specified and developed a high-level query interface for the ODMG schema repository in order to simplify this task for integration system engineers. This paper describes a schema repository query language which greatly reduces the efforts of integration engineers.
On the Unitary Orbit of Complex Matrices
Authors: Fan Ding, Xingzhi Zhan
Venue: SIAM Journal on Matrix Analysis and Applications (2001)

Let $M_n({\Bbb C})$ be the algebra of n &times; n complex matrices. Suppose $S\subset {\Bbb C}$ is a measure zero set. It is proved that if $A\in M_n({\Bbb C})$ is not essentially Hermitian then for almost all unitary matrices $U\in M_n({\Bbb C}),$ each entry of $U^*AU$ is not in S. Some other results of this type are obtained. The ideas here are mainly from differential topology.
Active Directory Programming with Cdrom
Authors: Gil Kirkpatrick
Venue:  (2000)

:Active Directory Programming provides you with all the information needed to tap into the Active Directory from your own programs. After being provided with the groundwork of how the Active Directory works, you will be taught both how to design and how to create Active Directory enabled applications. This includes detailed discussions on the different programming interfaces that can be used. The book also contains ADSI and LDAP references that make this a handy resource when you are implementing Active Directory solutions. Coverage includes: Active Directory Fundamentals, Accessing Active Directory with LDAP, Accessing Active Directory with the Active Directory Services Interface (ADSI), The Contents of Active Directory, Active Directory Security, and more.
Software Design, 1st edition
Authors: David Budgen
Venue:  (1994)

:Based on a curriculum module originally written for the Software Engineering Institute at Carnegie Mellon University, this text provides students with an introduction to the role of design in software engineering. The book surveys a wide range of design methods and evaluates their strengths and weaknesses in various applications. The author adopts a neutral approach, concentrating on the role of design in software development creating a more effective tutorial text for students. Features Provides a balanced introduction to software design, reviewing the leading design methods, both formal and informal, from a neutral viewpoint. Describes and evaluates a wide range of different design methods, including JSP, SSA/SD, JSD, object-oriented and object- based design Focuses on design principles and strategies, which can be directly applied in practice.
Re-Wiring Business: Uniting Management and the Web
Authors: Tim McEachern, Bob O'Keefe
Venue:  (1997)

:Re-Wiring Business presents proven methodologies and easy-to-follow guidelines for using Web technology to energize specific aspects of company operations, among them new product development, sales and marketing, supplier relations, internal communications, and competitive intelligence. With examples from the field and insightful perspectives from top industry leaders, you'll learn how to use the Web to match your business needs, from generating products and services that suit an online medium to creating marketing, sales, and business strategies that are in sync with the Web's capabilities, and much more. Along with the most current thinking on such vital topics as product design and innovation, organizational growth, and increased market share via the Web, Re-Wiring Business provides proven techniques for managing the business functions impacted by Web technology; case studies of how General Electric, Johnson & Johnson, UTC Carrier, and other leading organizations have used Web technology to develop marketing, sales, and customer service strategies; details on marketspace and virtual value, two important and innovative Web strategies; and vital information on related technologies - Electronic Data Interchange (EDI), intranets, groupware, logistics software - and how to capitalize on them.
Software verification and validation with destiny: a parallel approach to automated theorem proving
Authors: Josiah Dykstra
Venue: Crossroads (2002)

This paper presents an introduction to computer-aided theorem proving and a new approach using parallel processing to increase power and speed of this computation. Automated theorem provers, along with human interpretation, have been shown to be powerful tools in verifying and validating computer software. Destiny is a new tool that provides even greater and more powerful analysis enabling greater ties between software programs and their specifications.
The concept of causal-phase ordering for overlapped broadcasts
Authors: Laurent Amanton, Mohamed Naïmi
Venue: ACM SIGOPS Operating Systems Review (2002)

The virtual synchrony has received a lot of attention in the literature due to it's importance for distributed applications. Most of algorithms that determine global states cut program's execution without taking account of messages groups. The processes exchange messages without a particular ordering inside each phase. But messages of two successive phases must be ordered according to the causal relation. The paper presents the concept of causal-phase and an algorithm, which guarantees that the change of phase of a distributed system is safely performed, i.e., that the causal ordering of the messages events is being respected. In contrast to previous approaches, our protocol is able to handle the multi-initiator case where the change of phase is simultaneously requested by several sub-processes without requiring any kind of master process. This special scheduling establishes a synchronization between two distinct phases that may overlap, while preserving the asynchrony of the communications, without blocking the processes.
Principal Pivoting Method for Solving Column Sufficient Complementarity Problems
Authors: A. L. N. Murthy, G. S. R. Murthy
Venue: SIAM Journal on Matrix Analysis and Applications (2000)

The linear complementarity problem (q, A) is to find, for a given real square matrix A of order n and a real column vector q of order n, a nonnegative vector z such that A z + q \geq 0$ and zt(A z + q) =0. It is known that when A is a positive semidefinite matrix, one can use a principal pivoting method to compute a solution to (q, A) if it has one and to conclude that the problem has no solution otherwise. Cottle, Pang, and Venkateswaran [Linear Algebra Appl., 114/115 (1989), pp. 231--249] introduced the class of sufficient matrices and widened the scope of a principal pivoting algorithm to solve linear complementarity problems with row sufficient matrices. Our main result in this article is to show that this algorithm can be extended to solve even the problems with column sufficient matrices.
The Microsoft Outlook 2000 E-Mail and Fax Guide, 1st edition
Authors: Sue Mosher
Venue:  (1999)

:Microsoft Outlook is a powerful new software that integrates E-mail, address books, scheduling, and task management. This guide for end users and systems administrators focuses clearly on the E-mail and fax functions of the latest Outlook release. Steps to completing real-world tasks are covered in detail, and many timesaving techniques that take users beyond the basics are provided. A solid overview of the Outlook 2000 product starts with setup and configuration processes, and information on optimizing, troubleshooting, and tricks and tips follow. Advanced Outlook 2000 users can take advantage of the information on forms, templates, importing and exporting, and add-ins provided.
E-Commerce and V-Business: Business Models for Fglobal Success
Authors: Stuart Barnes, Brian Hunt
Venue:  (2000)

:E-Commerce and V-Business: Business Models for Global Success examines the impact of the Internet and associated technologies on two related aspects of business: electronic commerce and virtual organisation. Using a combination of recent theory and empirical evidence it demonstrates how forward-thinking organizations are reaping considerable strategic advantage from exciting new business models in these areas. Such models require radical rethinking of many aspects of traditional business. The book covers many of the critical and contemporary issues stemming from the important new developments. Features of the book: This is one of the first books to recognize the converging aspects of electronic commerce and virtual organization. It is an up-to-date, leading academic text involving and international team of experts, including: Soumitra Dutta, INSEAD, France; Lucas Introna, London School of Economics, UK; Robert B. Johnston, University of Melbourne, Australia; Claudia Loebbecke, University of Cologne, Germany; Arie Segev, University of California at Berkeley, USA; Dorian Selz, Delta Consulting, Switzerland; Andrew B. Whinston, University of Texas at Austin, USA; Howard Williams, University of Strathclyde, UK; Matthijs Wolters, Erasmus University, The Netherlands, and many others. The book is packed with recent case studies illustrating how electronic commerce and virtual business have created significant strategic benefits. It examines both large and small organizations from around the globe The emphasis of the text is on leading-edge technologies and applications.
Programming with C++: Using, Modifying, and Implementing Object Classes with Cdrom, 1st edition
Authors: Rick Mercer, Brad Hansen
Venue:  (1998)

:This tutorial is for the programmer who has no prior knowledge of object-oriented languages but wants to transition from an older high-level programming to C++. Even those with little programming experience can benefit from the information in this book. Software analysis and design is discussed and a project to sharpen programming skills is provided.
Scaling for E Business: Technologies, Models, Performance, and Capacity Planning, 1st edition
Authors: Daniel A. Menasce, A. F. Almeida Virgilio
Venue:  (2000)

:Foreword by Jim Gray Microsoft Research and 1998 ACM Turing Award Recipient The Complete Guide to Techniques and Models to Evaluate and Plan E-Business Sites! Avoid losing customers due to site crashes Performance modeling and capacity planning for e-business infrastructure Build and analyze customer behavior models Plan your e-business site to avoid frequent upgrades and migrations "E-business is transforming every element of business in many unknown ways. This book will give its readers a headstart in understanding the quantitative underpinnings of the new environment."  Howard Frank, Dean, Robert H. Smith School of Business University of Maryland at College Park Solid analysis of performance modeling and capacity planning for your e-business site! S low e-commerce sites cost their owners billions and embarrass and degrade their owners' brands. Don't let it happen to you! Scaling for E-Business presents analysis techniques for quantifying and projecting every element of your e-business site's performance-and planning for the capacity you need, no matter what! Discover how to... Characterize e-commerce workloads more accurately Analyze the performance of authentication and payment services Model contention for software servers, and ensure scalability Model and plan for communications infrastructure Forecast and cope with peak demand Project the impact of agent technologies and non-PC devices You can't turn to your vendors for these state-of-the-art techniques. But you canturn to Scaling for E-Business-and if you plan to succeed, you'd better!
Graduate Education in Computational Science and Engineering
Authors: SIAM Working Group on CSE Education
Venue: SIAM Review (2001)

Computational science and engineering (CSE) is a rapidly growing multidisciplinary area with connections to the sciences, engineering, mathematics, and computer science. In this report we attempt to define the core areas and scope of CSE, to provide ideas, advice, and information regarding curriculum and graduate programs in CSE, and to give recommendations regarding the potential for SIAM to contribute.
FrontPage in an Instant
Authors: Ruth Maran
Venue:  (2001)

:Read less, learn more! Are you a visual learner who needs results - right away? Do you prefer to focus on the essentials - and skip the bells and whistles? If so, then this book is for you. Open it up and you will find extra-large, step-by-step screen shots that show you how to tackle over 100 key Frontpage 2002 tasks, from cropping an image and creating an email link to resizing a frame and adding a hit counter. And all this at a great price!
Internet Directory for Teachers with Cdrom, 1st edition
Authors: Grace Jasmine, Julia Jasmine
Venue:  (1997)

:If you are a teacher and you have wondered how to find the best places on the Internet for your K-12 classroom, look no further. Internet Directory For Teachers introduces you to excellent Internet sites that let your students learn while they play online. Organized effectively with the curriculum for K-12 teachers in mind, each description takes the frustration and guesswork out of "surfing" in school. Inside, find guidance on becoming a "techno-teacher" in no time: Find valuable, timesaving teacher resources Get instant information for parents-in-need Plan your English, literature, or foreign language lessons Explore the amazing worlds of math and science on the Net Take a trip -- real or virtual Facilitate plans for after-school fun Take a breather with resources on the Net Access hundreds, no, thousands of terrific lesson plans for free
Make Your Own Music Videos with Adobe Premiere, 1st edition
Authors: Pete Kennedy, Maura Kennedy
Venue:  (2002)

:Music videos are a necessity if you want to take your musical career to the next level. But how do you create one without breaking the bank? This book delivers the answers. Written by two acclaimed recording artists who've been producing their own music videos for several years, it shows you step by step how to get from an idea to an MTV-worthy result on a shoestring budget -- even if you've never worked with video before. Packed with easy-to-understand instructions, hands-on exercises, and fascinating Road Diaries that illuminate the inspiration behind video concepts and special effects, it's all you need to become a music video star.
Sap R/3 System: An Introduction to Enterprise Resource Planning, 2nd edition
Authors: Rudiger Buck-Emden, Dr Rudiger Buck-Emden
Venue:  (1999)

:The SAP R/3 System: An Introduction to ERP and Business Software Technology by R,diger Buck-Emden SAP's R/3 System sets the standard for the development of modern enterprise requirements applications n a multilingual, multinational client/server technology that meets all business requirements for scalability, portability, openness and high performance. This book provides essential background reading for anyone considering implementing any ERP package, and particularly the SAP R/3 System. The SAP R/3 System: An introduction to ERP technology describes the basic features of client/server computing and the technical structure of ERP systems, and then goes on to introduce the technical architecture of the R/3 system, application development with ABAP/4, R/3 business applications and implementation of an R/3 system within a business. This new edition of the best-selling introduction to the R/3 system has been comprehensively updated to reflect the changes and advances introduced with v4 of the system, and includes new coverage in areas such as Internet capability, SAP's Business Framework, Object Technology and R/3, and implementation and customization of an R/3 system. Features: Complete introduction to SAP R/3 technology Comprehensively updated to cover SAP R/3 v4 Based on wide experience from real R/3 implementations New to this edition: NEW chapter on SAP Business Framework NEW chapter on Object Technology and SAP R/3 NEW chapter on Business Processes on the Internet NEW chapter on R/3 Implementation and customization
HTML Prorammer's Reference, 1st edition
Authors: Thomas A. Powell, Dan Whitworth
Venue:  (1998)

:HTML is the publishing language of the World Wide WebHTML 4 adds enhancements in several areas to make publishing for the Web quick and easy. A comprehensive resource for all versions of HTMLelements covered include tables,frames,forms,and image maps,all of which continue to be supported by the browsers and the World Wide Web Consortium. Focus placed on listing elements,keywords,and other reference materialfewer pages are devoted to instructing readers on how to use HTML. Here's a handy desktop reference to keep nearby as you program for the Web! HTML Programmer's Reference is a valuable quick-reference guide with concise explanations of all HTML,elements and attributes,listed in alphabetical order. You'll also find examples and definitions of the latest Navigator,Internet Explorer,and WebTV tags at your fingertipsplus expert advice on which commands to use and when to use them. This vital memory jogger and "idea book" is perfect for beginning through advanced HTML programmers! Use it and you will: jump to concise definitions of essential HTML syntax,elements,and attributes; find explanations of essential page features,including tables,frames,forms,and image maps; solve problems as you work. Easily locate the correct syntax functions for issues at hand; learn expert tips to speed your work. This book is also the ideal companion in Osborne's HTML: The Complete Reference by Thomas A. Powell,a comprehensive,in-depth,authoritative HTML guide for programmers at every skill level. HTML elements,syntax,keywords,commands,and functions.
Kick-Starter.COM: The Definitive European Internet Start up Guide
Authors: Stephen Harpin
Venue:  (2000)

:"This book brings together advice from some of the world's leading eCommerce companies and provides an essential guide to anybody who is trying to kick-start their Internet business."--BOOK JACKET. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Perception, Cognition and Execution: Mechatronics Designing Intelligent Machines
Authors: George Rzevski, Philip Picton
Venue:  (1994)

:This student guide discusses the building blocks of mechatronic systems in terms of the subsystems for perception, cognition and execution, as a framework for designing intelligent machines such as video cameras, robots, and automatic guided vehicles. Preface Overview of Vol 1 Fundamentals Sensors Information Perception Cognition Planning Actuators Control Architectures Design Acknowledegments Index
MCSE Microsoft Exchange 2000 Server Design and Deployment Training Kit
Authors: Microsoft Corporation, Kay Unkroth
Venue:  (2001)

:With this official MCSE TRAINING KIT, IT professionals learn how to design and deploy a messaging infrastructure using Exchange 2000 Server. As they build these real-world systems-engineering skills, they're also getting in-depth preparation for MCP Exam 70-225-an elective on the MCSE track for the Windows(r) 2000 operating system. Topics map directly to the objectives measured by the exam, including analyzing business requirements, assessing existing and planned resources, designing a messaging solution, creating fault-tolerance and data-recovery strategies, and solution deployment. Students learn through an integrated system of lessons, case-study-based exercises, and self-assessment. An economical alternative to classroom instruction, this kit enables working professionals to set their own pace and learn by doing! Key Book Benefits: Offers detailed, from-the-source instruction for designing an Exchange 2000 Server-based messaging solution Provides in-depth preparation for MCP Exam 70-225, which can be used to fulfill one of two elective requirements on the Windows 2000 MCSE track Features a searchable version of the study guide on CD-ROM-for training anytime, anywhere
Object-Relational DBMSs: Tracking the Next Great Wave, 2nd edition
Authors: Michael Stonebraker, Dorothy Moore, Paul Brown
Venue:  (1998)

:Discover why object-relational technology is ideal for supporting a broad spectrum of data types and application areas, from financial services to multimedia data. In this completely revised and updated edition, database experts Michael Stonebraker and Paul Brown explore the object-relational paradigm and examine the most recent developments in the field. Specially written for database application programmers, database analysts, and IT managers, this book includes detailed information on how to classify DBMS applications, where object-relational DBMSs fit in the database world, and what mechanisms are required to support such an engine.