3081 search results - page 445 / 617 » A Formal Ontology of Properties |
184
click to vote
LCN
2005
IEEE
16 years 3 days ago
2005
IEEE
A formal approach for characterizing, evaluating and modeling packet reordering is presented. Reordering is, a phenomenon that is likely to become increasingly common on Internet,...
172
click to vote
POPL
2005
ACM
16 years 3 days ago
2005
ACM
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...
171
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
We analyze the notion of organizational structure in multiagent systems and explain the precise added value and the effects of such organizational structure on the involved agents...
205
click to vote
AUSAI
2005
Springer
16 years 2 days ago
2005
Springer
In this paper, I will show how a controlled natural language can be used to describe knowledge for the Semantic Web and discuss the formal properties of this language. At the firs...
169
click to vote
CAV
2005
Springer
16 years 2 days ago
2005
Springer
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachabilit...