4418 search results - page 57 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
154
click to vote
HIPC
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents our work in combining peer-to-peer dynamic tree management with hierarchical Operational Transformation (OT) over document trees to achieve low computational an...
174
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
Two-dimensional and three-dimensional coordinate systems are the basic graphics symbols in many graphical documents. A robust coordinate system detection scheme is needed in order...
134
Voted
DAC
1998
ACM
16 years 6 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
137
click to vote
RAID
2004
Springer
15 years 10 months ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
170
click to vote
GI
2005
Springer
15 years 11 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...