2043 search results - page 359 / 409 » Reasoning About Security Models |
SEKE
2005
Springer
14 years 3 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
WDAG
2004
Springer
14 years 3 months ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...
ICTAI
2003
IEEE
14 years 3 months ago
2003
IEEE
One of the main reasons behind unfruitful software development projects is that it is often too late to correct the problems by the time they are detected. It clearly indicates th...
INFOCOM
2003
IEEE
14 years 3 months ago
2003
IEEE
— Recent investigations into the pricing of multiclass loss networks have shown that static prices are optimal in the asymptotic regime of many small sources. These results sugge...
AUSAI
2003
Springer
14 years 3 months ago
2003
Springer
We describe novel approaches to multimedia analysis and synthesis problems. We first present the experiential sampling technique which has the ability to focus on the analysis task...