Sciweavers

4096 search results - page 256 / 820
» An Object Model for Interoperable Systems
Sort
View
TSE
1998
128views more  TSE 1998»
15 years 5 months ago
Modeling and Evaluating Design Alternatives for an On-Line Instrumentation System: A Case Study
—This paper demonstrates the use of a model-based evaluation approach for instrumentation systems (ISs). The overall objective of this study is to provide early feedback to tool ...
Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsw...

Publication
511views
17 years 3 months ago
Modeling Transit Trip Time using Archived Bus Dispatch System Data.
Transit travel time and operating speed influence service attractiveness, operating cost, and system efficiency. The objective of this paper is to estimate the values of parameters...
R. L. Bertini, A. M. El-Geneidy
CASCON
2008
106views Education» more  CASCON 2008»
15 years 7 months ago
Using economic models to allocate resources in database management systems
Resource allocation in database management systems is a performance management process in which an autonomic DBMS makes resource allocation decisions based on properties like work...
Mingyi Zhang, Patrick Martin, Wendy Powley, Paul B...
FSTTCS
2010
Springer
15 years 2 months ago
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
Matthew Hague, Anthony Widjaja To
118
Voted
ISCAS
2005
IEEE
144views Hardware» more  ISCAS 2005»
15 years 11 months ago
A method for online secondary path modeling in active noise control systems
— This paper proposes a new method for online secondary path modeling in active noise control (ANC) systems. The proposed method is a modified version of the basic method, propo...
Muhammad Tahir Akhtar, Masahide Abe, Masayuki Kawa...