1856 search results - page 91 / 372 » Formal Dialectic Specification |
134
click to vote
ERSHOV
2006
Springer
15 years 7 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
126
click to vote
HYBRID
1992
Springer
15 years 7 months ago
1992
Springer
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
149
click to vote
SNPD
2008
15 years 5 months ago
2008
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...
125
click to vote
IJCSA
2006
15 years 4 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
131
click to vote
ENTCS
2008
15 years 2 months ago
2008
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...