2702 search results - page 285 / 541 » Practically Applicable Formal Methods |
139
Voted
AGENTS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...
128
Voted
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
104
Voted
COLT
2006
Springer
15 years 6 months ago
2006
Springer
Stability is a common tool to verify the validity of sample based algorithms. In clustering it is widely used to tune the parameters of the algorithm, such as the number k of clust...
161
Voted
EKAW
2000
Springer
15 years 6 months ago
2000
Springer
Guidelines for clinical practice are being introduced in an extensive way in more and more different fields of medicine They have the potential to improve the quality and cost-effi...
119
Voted
ISPEC
2010
Springer
15 years 4 months ago
2010
Springer
Often authentication and confidentiality are required as simultaneous key requirements in many cryptographic applications. The cryptographic primitive called signcryption effective...