2255 search results - page 35 / 451 » High Assurance Software Systems |
SCS
2004
13 years 10 months ago
2004
Commercial-Off-The-Shelf (COTS) software components are being used within complex safety-critical applications. However, to use them with confidence, it is necessary to ensure tha...
AOSE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
SIGCOMM
1994
ACM
14 years 22 days ago
1994
ACM
This paper describes our experiences, from a software perspective, with the OSIRIS network adaptor. It first identifies the problems we encountered while programming OSIRIS and op...
EUROMICRO
2011
IEEE
12 years 8 months ago
2011
IEEE
Sensornets are being widely proposed as a solution technology in a wide number of applications, e.g. health care. As part of this work some key challenges for the safety and senso...
ISPASS
2003
IEEE
14 years 1 months ago
2003
IEEE
Achieving high performance in cryptographic processing is important due to the increasing connectivity among today’s computers. Despite steady improvements in microprocessor and...