3943 search results - page 109 / 789 » Architecture-Level Requirements Specification |
176
click to vote
EUROCAST
2001
Springer
15 years 11 months ago
2001
Springer
CAST.FSM denotes a CAST tool which has been developed at the Institute of Systems Science at the University of Linz during the years 1986-1993. The first version of CAST.FSM was i...
187
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Architecture Definition Languages (ADLs) enable the formalization of the architecture of software systems and the execution of preliminary analyses on them. These analyses aim at...
175
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
Abstract-- The power consumption of microprocessors has been increasing in step with the complexity of each progressive generation. In general purpose processors, this is primarily...
146
click to vote
OOPSLA
1995
Springer
15 years 10 months ago
1995
Springer
Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Internal Acc...
139
click to vote
IROS
2006
IEEE
16 years 15 days ago
2006
IEEE
- The creation of a rover for a specific task requires designing and selecting the mechanical structure specifically for its mission. This can be done by modelling a chassis and ev...