4418 search results - page 94 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
120
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
The Health Level 7 Clinic Document Architecture (CDA) is an XML-based document markup standard that specifies the hierarchical structure and semantics of “clinical documents” ...
119
click to vote
ISSAC
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
158
click to vote
KDD
1998
ACM
15 years 8 months ago
1998
ACM
The task in the computer security domain of anomaly detection is to characterize the behaviors of a computer user (the `valid', or `normal' user) so that unusual occurre...
140
click to vote
ENTCS
2006
15 years 4 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
144
click to vote
SIGGRAPH
1993
ACM
15 years 8 months ago
1993
ACM
We believe that navigation in information spaces is best supported by tapping into our natural spatial and geographic ways of thinking. To this end, we are developing a new comput...