4360 search results - page 527 / 872 » Socio-technical systems: From design methods to systems engi... |
147
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
Partial order methods have been introduced to avoid the state explosion problem in veri cation resulting from the representation of multiple interleavings of concurrent transitions...
168
click to vote
CODES
1994
IEEE
15 years 11 months ago
1994
IEEE
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...
195
click to vote
AIPR
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract—The multi-band target detection algorithms implemented in hyperspectral imaging systems represent perhaps the most successful example of image fusion. A core suite of su...
165
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper concerns the validity of a widely used method for estimating the architecture-level mean time to failure (MTTF) due to soft errors. The method first calculates the fai...
192
click to vote
IUI
2004
ACM
16 years 7 days ago
2004
ACM
WOLD (Wizard fOr Leveraging the Development of multi-platform user interfaces) helps designers to produce running user interfaces to data bases of information systems simultaneous...