1792 search results - page 54 / 359 » Requirements Capture with RCAT |
133
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testben...
168
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
The agent-oriented modeling process is divided in a typical sequence of activities, i.e., requirements specification, analysis, and design. The requirements are specified by des...
148
click to vote
ER
2001
Springer
15 years 10 months ago
2001
Springer
: In electronic commerce, two fundamental types of models are business models and process models. While a business model is concerned with value exchanges between actors, a process...
171
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
190
click to vote
DBSEC
2011
14 years 9 months ago
2011
Online social networks (OSNs) have experienced tremendous growth in recent years and become a de facto portal for hundreds of millions of Internet users. These OSNs offer attractiv...