4693 search results - page 74 / 939 » Verifying Hybrid Systems |
95
Voted
BPM
2006
Springer
15 years 4 months ago
2006
Springer
When dealing with complex business processes (e.g., in the context of a workflow implementation or the configuration of some process-aware information system), it is important but ...
98
Voted
LICS
1989
IEEE
15 years 4 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
83
Voted
JCS
2002
15 years 8 days ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
175
Voted
CLIMA
2011
14 years 12 days ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
114
Voted
JCP
2006
15 years 17 days ago
2006
Trust models provide a framework to create and manage trust relationships among the different entities of a Public Key Infrastructure (PKI). These trust relationships are verified ...