3408 search results - page 354 / 682 » Logic, language, information and computation |
174
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...
192
click to vote
KES
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This work presents a clustering method which can be applied to relational knowledge bases. Namely, it can be used to discover interesting groupings of semantically annota...
164
click to vote
KCAP
2005
ACM
16 years 11 days ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
214
click to vote
CCS
2005
ACM
16 years 11 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
170
click to vote
ESORICS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ...