6047 search results - page 648 / 1210 » Modeling with Extend |
198
click to vote
CAISE
2005
Springer
16 years 21 days ago
2005
Springer
Service Oriented Architectures are increasingly being used to achieve interoperability among heterogeneous systems. SOAs help developers to integrate different architectures in ord...
218
click to vote
CPM
2004
Springer
16 years 19 days ago
2004
Springer
A popular approach in comparative genomics is to locate groups or clusters of orthologous genes in multiple genomes and to postulate functional association between the genes contai...
197
click to vote
HYBRID
2004
Springer
16 years 18 days ago
2004
Springer
We propose a model for Stochastic Hybrid Systems (SHSs) where transitions between discrete modes are triggered by stochastic events much like transitions between states of a contin...
217
click to vote
NMR
2004
Springer
16 years 18 days ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
169
click to vote
SACRYPT
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. This paper investigates the security of Proactive Secret Sharing Schemes. We start with revision of the mobile adversary model of Herzberg’s et al. imposing less restri...