3943 search results - page 119 / 789 » Architecture-Level Requirements Specification |
190
click to vote
ECAL
1999
Springer
15 years 10 months ago
1999
Springer
This paper proposes a paradigm for specification of virtual human agents’level of autonomy. The idea we present in this paper aims at optimising the required complexity of agents...
147
click to vote
CAISE
1997
Springer
15 years 10 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
169
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
176
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
188
click to vote
ARC
2008
Springer
15 years 8 months ago
2008
Springer
Over the last years, we have witnessed the increased use of Application-Specific Instruction-Set Processors (ASIPs). These ASIPs are processors that have a customizable instruction...