3495 search results - page 211 / 699 » On the random satisfiable process |
188
click to vote
RE
2006
Springer
15 years 7 months ago
2006
Springer
In the United States, federal and state regulations prescribe stakeholder rights and obligations that must be satisfied by the requirements for software systems. These regulations ...
230
click to vote
AIA
2006
15 years 8 months ago
2006
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
158
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
Acquisition of science in space applications is shifting from teleoperated gathering to an automated on-board analysis with improvements in the use of on-board memory, CPU, bandwi...
176
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The Web is being consolidating as the main platform for the development of applications. Moreover, these applications are not conceived just as isolated systems. This fac...
196
click to vote
DATE
2005
IEEE
16 years 23 days ago
2005
IEEE
In this paper we present an approach to the design optimization of faulttolerant embedded systems for safety-critical applications. Processes are statically scheduled and communic...