2255 search results - page 35 / 451 » High Assurance Software Systems |
142
click to vote
SCS
2004
15 years 4 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...
172
click to vote
AOSE
2007
Springer
15 years 9 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...
120
click to vote
SIGCOMM
1994
ACM
15 years 7 months 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...
121
click to vote
EUROMICRO
2011
IEEE
14 years 2 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...
162
click to vote
ISPASS
2003
IEEE
15 years 8 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...