2255 search results - page 212 / 451 » High Assurance Software Systems |
164
click to vote
MSS
1999
IEEE
15 years 10 months ago
1999
IEEE
Recently TRW fielded a prototype system for a government customer. It provides a wide range of capabilities including data collection, hierarchical storage, automated distribution...
194
click to vote
MOBILITY
2009
ACM
15 years 11 months ago
2009
ACM
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
161
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents the architecture, design and implementation of an email server that runs on a bare PC without an operating system or hard-disk. In addition to providing sta...
175
click to vote
INFSOF
2002
15 years 6 months ago
2002
Identifying code duplication in large multi-platform software systems is a challenging problem. This is due to a variety of reasons including the presence of high-level programmin...
189
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...