12333 search results - page 686 / 2467 » System Level Modelling for Hardware Software Systems |
203
click to vote
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
Context-aware systems are software systems which adapt their behaviour according to the context of use. The requirements engineering phase is recognized as a primordial step to dev...
204
click to vote
ARCS
2004
Springer
16 years 20 days ago
2004
Springer
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
200
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
181
click to vote
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
201
Voted
TR
2008
15 years 7 months ago
2008
A number of security vulnerabilities have been reported in the Windows, and Linux operating systems. Both the developers, and users of operating systems have to utilize significant...