10263 search results - page 264 / 2053 » From Use Cases to System Operation Specifications |
170
click to vote
INFOCOM
2003
IEEE
16 years 17 days ago
2003
IEEE
—This paper is aimed at designing a congestion control system that scales gracefully with network capacity, providing high utilization, low queueing delay, dynamic stability, and...
180
click to vote
ESTIMEDIA
2006
Springer
15 years 11 months ago
2006
Springer
Increasingly more MPSoC platforms are being developed to meet the rising demands from concurrently executing applications. These systems are often heterogeneous with the use of de...
235
click to vote
NGITS
1999
Springer
15 years 11 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
156
click to vote
ICIAP
1997
ACM
15 years 11 months ago
1997
ACM
Analysis by image synthesis using CG has attracted wide attention in machine vision. This paper proposes a method ofmodeling and synthesizingpearls thatwillbe thecentraltechniqueof...
212
click to vote
ACTA
2010
15 years 7 months ago
2010
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...