3399 search results - page 391 / 680 » Requirements Development in Scenario-Based Design |
199
click to vote
SCESM
2006
ACM
16 years 16 days ago
2006
ACM
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...
187
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
186
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
184
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
Decoupling capacitance (decap) is an efficient way to reduce transient noise in on-chip power supply networks. However, excessive decap may cause more leakage power, chip resource...
159
click to vote
CAV
2005
Springer
16 years 3 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...