1419 search results - page 172 / 284 » Notes on Formalizing Context |
ICSOC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In inter-enterprise business service collaborations management of nonfunctional properties has become a fundamental issue, as business management and computing infrastruc...
100
Voted
SEMWEB
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Design patterns are widely-used software engineering abstractions which define guidelines for modeling common application scenarios. Ontology design patterns are the ext...
108
Voted
SOCASE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper contributes to a line of research that aims to apply agent-oriented techniques in the field of service-oriented computing. In particular, we propose to use go...
95
Voted
IPCCC
2006
IEEE
15 years 6 months ago
2006
IEEE
We present an approach to the question of evaluating worm defenses against future, yet unseen and possibly defense-aware worm behavior. Our scheme employs model checking to produc...
138
Voted
ACSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...