Sciweavers

1050 search results - page 159 / 210
» Words, antibodies and their interactions
Sort
View
APN
2008
Springer
14 years 11 months ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
CAISE
2008
Springer
14 years 11 months ago
Process Flexibility: A Survey of Contemporary Approaches
Abstract. Business processes provide a means of coordinating interactions between workers and organisations in a structured way. However the dynamic nature of the modern business e...
Helen Schonenberg, Ronny Mans, Nick Russell, Natal...
CW
2005
IEEE
14 years 11 months ago
Semantic Memory for Avatars in Cyberspace
Avatars that show intelligent behavior should have an access to general knowledge about the world, knowledge that humans store in their semantic memories. The simplest knowledge r...
Julian Szymanski, Tomasz Sarnatowicz, Wlodzislaw D...
CAISE
2008
Springer
14 years 11 months ago
Exploiting the Annotation Practice for Personal and Collective Information Management
Abstract. Information nowadays is a capital for any organization intending to be reactive and aware of its environment. Unfortunately most modern organizations overdose on informat...
Guillaume Cabanac, Max Chevalier, Claude Chrisment...
COLCOM
2008
IEEE
14 years 11 months ago
Mashup Model and Verification Using Mashup Processing Network
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
Ehtesham Zahoor, Olivier Perrin, Claude Godart