2702 search results - page 113 / 541 » Practically Applicable Formal Methods |
106
click to vote
JSSPP
2005
Springer
15 years 3 months ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
METRICS
2003
IEEE
15 years 3 months ago
2003
IEEE
As distributed technologies become more widely used, the need for assessing the quality of distributed applications correspondingly increases. Despite the rich body of research an...
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
Situation awareness involves the identification and monitoring of relationships among objects participating in an evolving situation. This problem in general is intractable (i.e.,...
109
click to vote
NFM
2011
14 years 5 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
APWEB
2006
Springer
15 years 1 months ago
2006
Springer
In the semantic web context,the formal representation of knowledge is not resourceful while the informal one with uncertainty prevails. In order to provide an uncertainty reasoning...