3081 search results - page 376 / 617 » A Formal Ontology of Properties |
159
click to vote
ACSAC
2006
IEEE
16 years 22 days ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
180
click to vote
WWW
2006
ACM
16 years 18 days ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
178
click to vote
HICSS
2005
IEEE
16 years 8 days ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
199
click to vote
TPHOL
2005
IEEE
16 years 7 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
218
click to vote
ADAEUROPE
2005
Springer
16 years 6 days ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...