7580 search results - page 1032 / 1516 » Prometheus design tool |
176
click to vote
ASAP
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents the enhancement of an ASIP’s floating point performance by coupling of a co-processor and adding of special instructions. Processor hardware modifications an...
152
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
190
click to vote
QOSA
2010
Springer
15 years 8 months ago
2010
Springer
The use of redundant computational nodes is a widely used design tactic to improve the reliability of complex embedded systems. However, this redundancy allocation has also an effe...
175
click to vote
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
Responsiveness, or the time until a person responds to communication, can affect the dynamics of a conversation as well as participants' perceptions of one another. In this p...
181
click to vote
ECMDAFA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we report on our experience on using the socalled model-driven security approach in an MDA industrial project. In model-driven security, "designers spe...