1026 search results - page 113 / 206 » A Methodology for Equational Reasoning |
ICES
2003
Springer
14 years 2 months ago
2003
Springer
It is clear to all, after a moments thought, that nature has much we might be inspired by when designing our systems, for example: robustness, adaptability and complexity, to name ...
WER
2001
Springer
14 years 1 months ago
2001
Springer
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
ICMCS
2000
IEEE
14 years 1 months ago
2000
IEEE
In recent years, the Internet has emerged as an important collaborative platform. Many applications utilize the Internet to provide new kinds of services. Among others, Internet t...
CAISE
2006
Springer
14 years 25 days ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
CRITIS
2007
13 years 10 months ago
2007
Security Management is a complex task. It requires several interconnected activities: designing, implementing and maintaining a robust technical infrastructure, developing suitable...