Sciweavers

18209 search results - page 279 / 3642
» Some Remarks on the Paper
Sort
View
CAISE
2005
Springer
16 years 7 days ago
A Report on the Triune Continuum Paradigm and on its Foundational Theory of Triune Continuum
This paper familiarizes the audience with the Triune Continuum Paradigm, a paradigm that provides philosophically supported theoretical foundations for system modeling in general a...
Andrey Naumenko
CMMR
2004
Springer
111views Music» more  CMMR 2004»
16 years 2 days ago
Aspects of the Topology of Interactions on Loop Dynamics in One and Two Dimensions
This paper discusses aspects of topology as relevant for loop dynamics as they occur in physical modeling synthesis algorithms. Boundary and interaction point behavior is treated p...
Georg Essl
CMSB
2004
Springer
16 years 2 days ago
Beta Binders for Biological Interactions
This paper presents binders and operators, in the process calculi tradition, to reason about biological interactions. Special binders are added to wrap a process just as membranes ...
Corrado Priami, Paola Quaglia
156
Voted
SPW
2004
Springer
16 years 1 days ago
Limits to Anonymity When Using Credentials
This paper identifies certain privacy threats that apply to anonymous credential systems. The focus is on timing attacks that apply even if the system is cryptographically secure....
Andreas Pashalidis, Chris J. Mitchell
TFM
2004
Springer
130views Formal Methods» more  TFM 2004»
16 years 1 days ago
Advertising Formal Methods and Organizing Their Teaching: Yes, but ...
This position paper aims to address most of the “challenges” suggested by the conference’s CFP plus a few others. The style is deliberately informal and colloquial, occasiona...
Dino Mandrioli