840 search results - page 95 / 168 » Modelling Functional Requirements in Spatial Design |
119
Voted
CODES
1999
IEEE
15 years 7 months ago
1999
IEEE
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...
144
Voted
EAAI
2010
15 years 1 months ago
2010
Aircraft sizing studies consist in determining the main characteristics of an aircraft starting from a set of requirements. These studies can be summarized as global constrained o...
109
Voted
IFM
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
98
Voted
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
We propose a framework for constructing secure systems at the architectural level. This framework is composed of an implementation-oriented formalization of a system’s architect...
122
Voted
FM
2008
Springer
15 years 4 months ago
2008
Springer
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...