3943 search results - page 72 / 789 » Architecture-Level Requirements Specification |
162
click to vote
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
130
click to vote
ICIP
2008
IEEE
16 years 7 months ago
2008
IEEE
We propose a new complexity modeling framework for multimedia tasks. We characterize the traffic with five parameters that together we designate as a task's complexity specif...
164
click to vote
ITNG
2010
IEEE
15 years 10 months ago
2010
IEEE
This paper is the last one in a series of four papers and presents a minimal geographic services’ specification, based in the core related to business requirements, specially sp...
118
Voted
CSDA
2008
15 years 5 months ago
2008
We present a semi-parametric method for testing mixing distributions in the mixed Poisson model. The proposed method, which is based on the generalized method of moments, does not...
154
click to vote
VLSID
2005
IEEE
16 years 6 months ago
2005
IEEE
This paper presents a highly efficient processor design methodology based on the LISA 2.0 language. Typically the architecture design phase is dominated by an iterative processor ...