959 search results - page 64 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
ASIAN
1998
Springer
14 years 10 days ago
1998
Springer
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...
SDL
2001
13 years 9 months ago
2001
Abstract. We present a graphical MSC-based representation of the language DiCons, which is a formal language for the description of Internet applications.
DLOG
2008
13 years 9 months ago
2008
Following the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ...
FUIN
2007
13 years 8 months ago
2007
A formal model for description of passive and active timing attacks is presented, studied and compared with other security concepts. It is based on a timed process algebra and on a...
ENTCS
2010
13 years 5 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....