9 search results - page 1 / 2 » icfem 2003 |
ICFEM
2003
Springer
14 years 20 days ago
2003
Springer
ICFEM
2003
Springer
14 years 20 days ago
2003
Springer
ICFEM
2003
Springer
14 years 20 days ago
2003
Springer
ICFEM
2003
Springer
14 years 20 days ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
ICFEM
2003
Springer
14 years 20 days ago
2003
Springer
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...