1157 search results - page 124 / 232 » Descriptive Complexity and Model Checking |
ECOOP
1995
Springer
15 years 1 months ago
1995
Springer
Abstract. Meta-levels are complex pieces of software with diverse demands in both the computation and interaction domains. Common techniques using just code to express behaviour fa...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
Software components turn out to be a convenient model to build complex applications for scientific computing and to run them on a computational grid. However, deploying complex, co...
CSFW
2004
IEEE
15 years 1 months ago
2004
IEEE
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...
CCS
2006
ACM
15 years 1 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...
111
click to vote
MMAS
2011
Springer
14 years 4 months ago
2011
Springer
While existing mathematical descriptions can accurately account for phenomena at microscopic scales (e.g. molecular dynamics), these are often high-dimensional, stochastic and thei...