• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 1,184
Next 10 →

Software Engineering Economics

by Barry W. Boehm , 1981
"... Abstract—This paper summarizes the current state of the art and recent trends in software engineering economics. It provides an overview of economic analysis techniques and their applicability to software engineering and management. It surveys the field of software cost estimation, including the maj ..."
Abstract - Cited by 1647 (55 self) - Add to MetaCart
Abstract—This paper summarizes the current state of the art and recent trends in software engineering economics. It provides an overview of economic analysis techniques and their applicability to software engineering and management. It surveys the field of software cost estimation, including

Outstanding

by unknown authors
"... Information Abstract of document: The report contains a study to specify and analyse threats to determine the feasibility of Reuse of a Single SIM, USIM, or ISIM by peripheral devices on local interfaces to access multiple networks. The peripheral devices include 3GPP and WLAN devices, and the multi ..."
Abstract - Add to MetaCart
, and the multiple networks include 3GPP and WLAN type networks. The report covers the diverse usage models with multiple external interfaces from a security point of view, without incorporating significant changes to the 3GPP and WLAN infrastructure. It also overs the impact on current security specifications for 3

Bayesian inference on phylogeny and its impact on evolutionary biology.

by John P Huelsenbeck , Fredrik Ronquist , Rasmus Nielsen , Jonathan P Bollback - Science , 2001
"... 1 As a discipline, phylogenetics is becoming transformed by a flood of molecular data. These data allow broad questions to be asked about the history of life, but also present difficult statistical and computational problems. Bayesian inference of phylogeny brings a new perspective to a number of o ..."
Abstract - Cited by 235 (10 self) - Add to MetaCart
of outstanding issues in evolutionary biology, including the analysis of large phylogenetic trees and complex evolutionary models and the detection of the footprint of natural selection in DNA sequences. T he idea that species are related through a history of common descent is an old one, predating Darwin. Yet

CSCI 6838: INVOICE Project

by Matt Rutherford, Ram Sreerangam , 2000
"... A large telecommunications company (hereinafter The Company) has a data entry system for entering data associated with invoices it receives for all of the circuits it leases from different telephone companies around the United States. These invoices are similar to the telephone bills one receives at ..."
Abstract - Add to MetaCart
, audited, and paid for in a timely fashion. Currently the procedure used to pay off these circuits is labor intensive and takes too long to perform. When the invoices are not paid on time, the telecommunications company is charged with late penalties. Some issues which contribute to the problem: • 50

The Invoicing Case Study in (E-)LOTOS.

by Christian Attiogbe, Henri Habrias, Kenneth J. Turner , 1998
"... The informal requirements for the invoicing case study are analysed and interpreted. This leads to a high-level specification architecture that can be formalised. Specifications are presented in LOTOS (Language Of Temporal Ordering Specification). For comparison, specifications are also presented ..."
Abstract - Add to MetaCart
The informal requirements for the invoicing case study are analysed and interpreted. This leads to a high-level specification architecture that can be formalised. Specifications are presented in LOTOS (Language Of Temporal Ordering Specification). For comparison, specifications are also presented

Case-based Reasoning for Invoice Analysis and Recognition

by Hatem Hamza, E Belaïd, Abdel Belaïd
"... Abstract. This paper introduces the approach CBRDIA (Case-based Reasoning for Document Invoice Analysis) which uses the principles of case-based reasoning to analyze, recognize and interpret invoices. Two CBR cycles are performed sequentially in CBRDIA. The first one consists in checking whether a s ..."
Abstract - Cited by 7 (4 self) - Add to MetaCart
Abstract. This paper introduces the approach CBRDIA (Case-based Reasoning for Document Invoice Analysis) which uses the principles of case-based reasoning to analyze, recognize and interpret invoices. Two CBR cycles are performed sequentially in CBRDIA. The first one consists in checking whether a

Requirement Capture, Formal Description and Verification of an Invoicing System

by Mihaela Sighireanu, Kenneth J. Turner
"... The Invoicing case study is a typical business system proposed by Henri Habrias as a common example for a contest on the capacity of particular formal methods to capture requirements from the client. For this, the case study is informally described by half a page of English text. In this report, we ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
The Invoicing case study is a typical business system proposed by Henri Habrias as a common example for a contest on the capacity of particular formal methods to capture requirements from the client. For this, the case study is informally described by half a page of English text. In this report, we

Current State Analysis and Process Harmonization for Miscellaneous Invoicing, UPM-

by Upm-kymmene Oyj, Karoliina Mykkänen, Tampereen Ammattikorkeakoulu, Kymmene Oyj , 2013
"... Bachelor's thesis 57 pages, appendices 88 pages ..."
Abstract - Add to MetaCart
Bachelor's thesis 57 pages, appendices 88 pages

). (Outstanding contributions to logic

by J F A K ; Van Benthem , E J Pacuit , Johan Van Benthem , Eric Pacuit
"... Abstract This chapter is an attempt at clarifying the current scene of sometimes competing action logics, looking for compatibilities and convergences. Current paradigms for deliberate action fall into two broad families: dynamic logics of events, and STIT logics of achieving specified effects. We ..."
Abstract - Add to MetaCart
Abstract This chapter is an attempt at clarifying the current scene of sometimes competing action logics, looking for compatibilities and convergences. Current paradigms for deliberate action fall into two broad families: dynamic logics of events, and STIT logics of achieving specified effects. We

OUTSTANDING PROBLEMS IN PARTICLE ASTROPHYSICS ∗

by Thomas K. Gaisser , 2005
"... The general features of the cosmic-ray spectrum have been known for a long time. Although the basic approaches to understanding cosmic-ray propagation and acceleration have also been well understood for many years, there are several questions of great interest that motivate the current intense exper ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
The general features of the cosmic-ray spectrum have been known for a long time. Although the basic approaches to understanding cosmic-ray propagation and acceleration have also been well understood for many years, there are several questions of great interest that motivate the current intense
Next 10 →
Results 1 - 10 of 1,184
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University