9227 search results - page 436 / 1846 » Developing Use Cases from Organizational Modeling |
154
Voted
APSEC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
189
click to vote
TASLP
2010
15 years 1 months ago
2010
Abstract--Broadband source localization has several applications ranging from automatic video camera steering to target signal tracking and enhancement through beamforming. Consequ...
150
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Although graphical user interfaces (GUIs) constitute a large part of the software being developed today and are typically created using rapid prototyping, there are no effective r...
187
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Many embedded systems exhibit temporally and behaviorally disjoint behavior slices. When such behaviors are captured by state machines, the current design flow will capture it as ...
165
click to vote
CCE
2005
15 years 6 months ago
2005
In this paper, a rigorous MILP formulation for grass-root design of heat exchanger networks is developed. The methodology does not rely on traditional supertargeting followed by n...