2255 search results - page 215 / 451 » High Assurance Software Systems |
216
click to vote
AOSD
2011
ACM
15 years 1 months ago
2011
ACM
The domain of operating systems has often been mentioned as an “ideal candidate” for the application of AOP; fundamental policies we find in these systems, such as synchroniz...
202
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
157
click to vote
APSEC
1998
IEEE
15 years 10 months ago
1998
IEEE
The number of endusers using the Internet increases on the inside and outside of offices. Enduser-initiative development of applications has become important for automation of the...
168
click to vote
WSC
2000
15 years 7 months ago
2000
SLX by Wolverine software is actually one of the fastest simulation languages. Besides the high performance the SLX-compiler can be extended very easily by user specific syntax ru...
216
click to vote
ECMDAFA
2005
Springer
16 years 1 days ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...