395 search results - page 42 / 79 » Development of a formal REA-ontology Representation |
105
click to vote
SIGLEX
1991
15 years 3 months ago
1991
The lexical entry for a word must contain all the information needed to construct a semantic representation for sentences that contain the word. Because of that requirement, the f...
CHI
2002
ACM
16 years 5 days ago
2002
ACM
When creating techniques for manipulating objects at a distance in immersive virtual environments, researchers have primarily focused on increasing selection range, placement rang...
POLICY
2004
Springer
15 years 5 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...
106
click to vote
SASN
2003
ACM
15 years 5 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
113
click to vote
FMICS
2008
Springer
15 years 1 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...