3081 search results - page 317 / 617 » A Formal Ontology of Properties |
175
click to vote
TSMC
2010
15 years 1 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
190
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
The use of RDF data published on the Web for applications is still a cumbersome and resource-intensive task due to the limited software support and the lack of standard programmin...
172
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
196
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
We propose a middleware for automated implementation of security protocols for Web services. The proposed middleware consists of two main layers: the communication layer and the se...
137
click to vote
IJCNN
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— During the last years, high throughput experiments have become very popular. During the analysis of such data the need for a functional grouping of genes arises. In thi...