2688 search results - page 243 / 538 » A formal semantics for P3P |
176
click to vote
CBMS
2009
IEEE
16 years 1 months ago
2009
IEEE
Automated medical diagnosis systems based on knowledge-oriented descriptions have gained momentum with the emergence of Semantic Descriptions. However, soundness and efficiency of...
166
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile wher...
177
click to vote
RR
2007
Springer
16 years 23 days ago
2007
Springer
Expressing rules in controlled natural language can bring us closer to the vision of the Semantic Web since rules can be written in the notation of the application domain and are u...
166
click to vote
EDOC
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper presents an approach for translating legalese expression of business contracts into candidate business activities and processes while ensuring their compliance with con...
164
click to vote
XIMEP
2005
ACM
16 years 6 days ago
2005
ACM
As XML finds its place in information technology, query languages for XML attract much attention. Among them XPath is the most known. This article reveals a surprising fact that ...