1463 search results - page 173 / 293 » Model Checking Implicit-Invocation Systems |
125
Voted
ICNC
2005
Springer
15 years 7 months ago
2005
Springer
: Traffic behavior in a large-scale network can be viewed as a complicated non-linear system, so it is very difficult to describe the long-term network traffic behavior in a large-...
120
click to vote
ENTCS
2008
15 years 1 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
RTS
2008
15 years 29 days ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
120
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
107
click to vote
ATVA
2007
Springer
15 years 5 months ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...