Sciweavers

23413 search results - page 296 / 4683
» or 2005
Sort
View
144
Voted
ESOP
2005
Springer
16 years 1 months ago
Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries
Romain Janvier, Yassine Lakhnech, Laurent Mazar&ea...
143
Voted
ESWS
2005
Springer
16 years 1 months ago
AIS and Semantic Query
Rana Kashif Ali, Steve Cayzer
142
Voted
ESWS
2005
Springer
16 years 1 months ago
Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition
Marco Pistore, Pierluigi Roberti, Paolo Traverso
149
Voted
EUPROJECTS
2005
Springer
16 years 1 months ago
Multimodal Interfaces - A Generic Design Approach
Noelle Carbonell
EUROCAST
2005
Springer
86views Hardware» more  EUROCAST 2005»
16 years 1 months ago
Verification of Language Based Fault-Tolerance
Clara Benac Earle, Lars-Åke Fredlund