3399 search results - page 440 / 680 » Requirements Development in Scenario-Based Design |
153
click to vote
SYNASC
2006
IEEE
16 years 15 days ago
2006
IEEE
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
162
click to vote
SAC
2006
ACM
16 years 14 days ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
199
click to vote
ARITH
2005
IEEE
16 years 4 days ago
2005
IEEE
The floating-point unit in the Synergistic Processor Element of the 1st generation multi-core CELL Processor is described. The FPU supports 4-way SIMD single precision and intege...
182
click to vote
EUROMICRO
2005
IEEE
16 years 3 days ago
2005
IEEE
State-of-the-art middleware and component technologies lack support for Quality of Service (QoS) management. Application developers, therefore, integrate QoS mechanisms into the a...
162
click to vote
ICSM
2005
IEEE
16 years 3 days ago
2005
IEEE
Surprising as it may seem, many of the early adopters of the object-oriented paradigm already face a number of problems typically encountered in large-scale legacy systems. Softwa...