4224 search results - page 64 / 845 » Reasoning about Choice |
122
click to vote
FMCO
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
86
Voted
IFIP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for sy...
SEMWEB
2004
Springer
15 years 4 months ago
2004
Springer
103
click to vote
AGP
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
IPPS
2003
IEEE
15 years 4 months ago
2003
IEEE
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machinedependent task. Th...