432 search results - page 49 / 87 » An Approach To Multilevel Semantics For Applied Systems |
TGC
2007
Springer
14 years 1 months ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
BIRTHDAY
2003
Springer
14 years 24 days ago
2003
Springer
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
ICAIL
2005
ACM
14 years 1 months ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...
SDL
2001
13 years 9 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
IEEEARES
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper extends the work described in “An Approach to the Formalisation of a Certification Policy”, 7th International Symposium on System and Information Security (SSI 2005...