379 search results - page 3 / 76 » The DrScheme Project: An Overview |
ICLP
2009
Springer
14 years 3 days ago
2009
Springer
Abstract. The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedi...
FMCO
2007
Springer
13 years 11 months ago
2007
Springer
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
KMGOV
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. For electronic government initiatives to succeed, in addition to modernising the front office, attention should be also paid in order to streamline, reorganise and suppor...
ICRA
2003
IEEE
13 years 10 months ago
2003
IEEE
DGO
2000
13 years 6 months ago
2000
