1676 search results - page 147 / 336 » Formal System Development with KIV |
145
click to vote
IUI
1997
ACM
15 years 9 months ago
1997
ACM
FUSE (Formal User Interface Specification Environment) is an integrated user interface development environment that offers tool-based support for all phases of the interface desig...
152
click to vote
TCS
2008
15 years 4 months ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
141
click to vote
POLICY
2004
Springer
15 years 10 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
136
click to vote
AUSAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Temporal expressions—references to points in time or periods of time—are widespread in text, and their proper interpretation is essential for any natural language pro...
123
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...