Resources
BNET Resources
- sort by:
- Relevance
- Date
- Popularity
- ENTITY-CENTRIC ABSTRACTION AND MODELING FRAMEWORK FOR TRANSPORTATION ARCHITECTURES
- ABSTRACT A comprehensive framework for representing transportation architectures is presented. After discussing a series of preceding perspectives and formulations, the intellectual underpinning of the novel framework using an entity-centric abstraction of transportation is described. The entities include endogenous and exogenous factors and functional expressions are offered that relate these and...
- Research articles 2006-09-01
- For abstract view, take a few steps back
- Byline: CITY BEAT/SPRINGFIELD By Bob Keefer The Register-Guard "Mire aqui!" said Capelo, an artist from Guanajuato, Mexico, as he stood on a corner outside the Emerald Arts Center this week. "Look here!" He stayed in town all week and worked with more than a dozen...
- Research articles 2004-09-18
- Noble Abstractions: American Liberal Intellectuals and World War II.(Review) (book review)
- Noble Abstractions: American Liberal Intellectuals and World War II. By Frank A. Warren. (Columbus: Ohio State University Press, 1999. Pp. x, 256. $40.00.) In this solid and reasonable book, the author covers the activities of left-wing liberals who understood World War II as an...
- Research articles 2000-09-22
- Free Speech in Its Forgotten Years. (1999 Survey of Books Related to the Law) (book reviews) (book reviews)
- FREE SPEECH IN ITS FORGOTTEN YEARS. By David M. Rabban. New York: Cambridge University Press. 1997. Pp. xi, 404. $34.95. When was the last time you read a serious, recently published work of constitutional history that did not deal mainly with the work of the...
- Research articles 1999-05-01
- Arguing About Slavery: The Great Battle in the United States Congress. (1999 Survey of Books Related to the Law) (book reviews) (book reviews)
- ARGUING ABOUT SLAVERY: THE GREAT BATTLE IN THE UNITED STATES CONGRESS. By William Lee Miller. New York: Alfred A. Knopf. 1996. Pp. 577. $35. When was the last time you read a serious, recently published work of constitutional history that did not deal mainly...
- Research articles 1999-05-01
- Research in object-oriented manufacturing simulations: an assessment of the state of the art
- 1. Introduction Advanced manufacturing systems are capital-intensive due to hardware and software requirements. As a result, it is essential that they achieve high levels of flexibility and productivity compared to traditional manufacturing systems. Modeling and analysis to gain a better understanding of the system complexities and to predict system...
- Research articles 1998-09-01
- Richard A. Cloward and Frances Fox Piven: professor, Columbia University School of Social Work; professor, Graduate Center, CUNY. (City University of New York) (125th Anniversary Issue: Patriotism)
- WE TAKE PATRIOTISM TO MEAN LOVE OF NATION and the loyalty that follows. My country right or wrong. Even as an abstract idea, it is hard to see how thinking people justify blind loyalty. And considered historically, patriotism is plainly dangerous, helping to unleash...
- Research articles 1991-07-15
- Lease Abstraction
- Lease abstraction provides summarized information regarding existing leases for a property. It summarizes information such as lease start date, lease termination date, renewal options, rental rate, escalation clauses, space included, parking rights, first right of refusal, signage options and other special provisions. Lease abstraction is an essential component of due...
- White papers 2007-12-01
- Toward a Business Process Platform
- The steady rise in the abstraction level of technical software platforms enabled a similar rise in the abstraction level of programming languages and model-driven development tools. Business process platforms are a new type of platform at an even higher level of abstraction, offering business functionality that sits on top of...
- White papers 2005-07-01
- Predicate Abstraction and Refinement Techniques for Verifying Verilog
- This white paper evaluates three techniques to improve the performance of SAT-based predicate abstraction of circuits. First the partition of the abstraction problem by forming subsets of the predicates making the resulting abstractions more coarse, but the computation of the abstract transition relation becomes easier, secondly evaluates the performance effect...
- White papers 2004-06-25
- Abstraction-based Satisfiability Solving of Presburger Arithmetic
- This white paper presents a new abstraction-based framework for deciding satisfiability of quantifier free Presburger arithmetic formulas. The efficiency of this approach derives from the ability of SAT solvers to extract small unsatisfiable cores, leading to small abstracted formulas. The paper also presents experimental results which suggest that the algorithm...
- White papers 2004-01-01
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
- This paper presents a new procedure to perform this refinement operation for abstractions of hybrid systems by following an approach originally developed for finite-state systems. Hybrid dynamic systems include both continuous and discrete state variables. The paper also shows how such reachability computations with varying degrees of complexity that can...
- White papers 2003-01-24
Additional Resources
- Experiments With SAT-Based Symbolic Simulation Using Reparameterization in the Abstraction Refinement Framework
- This white paper presents experimental results on the performance of using symbolic simulation with SAT-based reparametrization within the Counterexample Guided Abstraction Refinement framework. Abstraction refinement has been applied successfully to prove safety properties of large industrial circuits. However, all existing abstraction refinement frameworks simply use SAT-based Bounded Model Checking BMC...
- White papers 2004-05-13
- Celoxica Agility Compiler Delivers Higher Levels of Design Abstraction; Improved C++ Support In SystemC Synthesis Tool
- SAN FRANCISCO -- Celoxica (AIM:CXA) has enhanced C++ coding support in its Agility Compiler high level design tool, raising the level of design abstraction above SystemC for designers who need to boost productivity and for programmers less familiar with hardware design. By using the C++ coding style developers can more...
- Research articles 2006-07-26
- Windows NT pursues extensibility. (Microsoft Windows New Technology operating system)(includes related article on the Windows 3.1 Applications Programming Interface)
- Hardware-specific code is isolated either in hardware abstraction layer or in a 50-kbyte micro-kernel Hardware-specific code is isolated either in hardware abstraction layer or in a 50-kbyte micro-kernel
- Research articles 1992-07-23
- System-design tool.(CoWare N2C)(Brief Article)(Product Announcement)
- * Provides better integration of external software, enhanced debugging for software tasks, and an RTOS configurator * Allows verification at different levels of software abstraction * ... * Provides better integration of external software,...
- Research articles 2001-06-21
- Beltway bandits. (Central Intelligence Agency's Soviet analysis) (Column)
- The Evil Abstraction For decades the C.I.A. "approached the Soviet Union as a kind of abstraction-the enemy, a nuclear threat, the moral antithesis. We hadn't really approached it as a society. And therefore, I think we were really not ready ... to deal with the reactions...
- Research articles 1991-10-28
- VMware and SpringSource: It`s All About the Cloud, Baby
- Though Facebook's acquisition of FriendFeed seemed to garner most of the headlines on Aug. 10, the bigger story for the enterprise was easily VMware's announcement of its intent to acquire SpringSource for $362 million to bolster its cloud strategy against Microsoft and others.Though Facebook's acquisition of FriendFeed seemed to garner...
- News items 2009-08-11
- Preparing for the Future
- Succession planning is preparation for the future—understanding what the future demands of the market will be and preparing the people in your organization to meet them. Many organizations find it challenging enough to meet present demands, but, in terms of people development and organic growth, such planning is critical to...
- Articles 2007-10-24
- Finding Fences In Cyberspace: Privacy And Open Access On The Internet
- This article assumes that legal decisions about the Internet will continue on property rights. Application of property rights to the Internet is important. Without property rights, computer owners may not be willing to connect to the Internet if their computers can be abused without legal remedy. Without some provision for...
- White papers 2003-01-01
- << Previous
- page 1 of 1
- Next >>
