959 search results - page 14 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
TELSYS
2002
13 years 7 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
BIOTECHNO
2008
IEEE
14 years 2 months ago
2008
IEEE
A new formalism and approach to describing cellular and molecular processes and structures is introduced, designed to support the creation of knowledge bases of molecular and cell...
BPM
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
IUI
2006
ACM
14 years 1 months ago
2006
ACM
Sketch interfaces provide more natural interaction than the traditional mouse and palette tool, but can be time consuming to build if they have to be built anew for each new domai...
ECRTS
1998
IEEE
14 years 7 days ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...