5159 search results - page 770 / 1032 » Structural Testing of Executables |
177
click to vote
APWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Although most existing teamwork management systems support userfriendly interface to some extent, few of them have take into consideration of the special requirements of ...
189
click to vote
APN
2006
Springer
15 years 11 months ago
2006
Springer
We consider nested nets, i.e. Petri nets in which tokens can be Petri nets themselves. We study value semantics of nested nets rather than reference semantics, and apply nested ne...
167
click to vote
COMPSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour in spite of the appearance of errors. ...
199
click to vote
CSFW
2004
IEEE
15 years 11 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
185
click to vote
CSFW
2004
IEEE
15 years 11 months ago
2004
IEEE
In many systems, items of information have owners associated with them. An owner of an item of information may want the system to enforce a policy that restricts use of that infor...