474 search results - page 49 / 95 » Assurance Based Development of Critical Systems |
140
click to vote
JSS
2006
15 years 5 months ago
2006
The last decade marked the first real attempt to turn software development into engineering through the concepts of ComponentBased Software Development (CBSD) and Commercial Off-T...
136
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
A considerable effort has been recently devoted to the development of Database Management Systems (DBMS) which guarantee high assurance security and privacy. An important componen...
163
click to vote
PKC
1999
Springer
15 years 9 months ago
1999
Springer
With the development of high speed computer networks, video service on the Web has huge market potential in that the video service can be provided to subscribers with greater time ...
127
click to vote
ICWN
2007
15 years 6 months ago
2007
- Wireless sensor networks have been widely used in many fields with the developments of the related techniques. But there are many problems in traditional single sink sensor netwo...
170
click to vote
SPIN
2007
Springer
15 years 11 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...