Sciweavers

1521 search results - page 197 / 305
» The Evolution of Information Assurance
Sort
View
KES
2005
Springer
16 years 2 days ago
Sustainable Memory System Using Global and Conical Spaces
: We present a concept and implementation of a computational support for spatial memory management and describe its temporal evolution. Our essential idea is to use an immersible g...
Hidekazu Kubota, Satoshi Nomura, Yasuyuki Sumi, To...
PADL
2005
Springer
16 years 2 days ago
Character-Based Cladistics and Answer Set Programming
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
Daniel R. Brooks, Esra Erdem, James W. Minett, Don...
EMISA
2004
Springer
15 years 12 months ago
On the Modeling of Correct Service Flows with BPEL4WS
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
Manfred Reichert, Stefanie Rinderle, Peter Dadam
FSTTCS
2004
Springer
15 years 12 months ago
A Calculus for Trust Management
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
Marco Carbone, Mogens Nielsen, Vladimiro Sassone
KES
2004
Springer
15 years 12 months ago
Detection of Dynamical Transitions in Biomedical Signals Using Nonlinear Methods
The ability to detect the existence of nonlinear dynamics may facilitate medical diagnostics for identifying, monitoring and predicting transitions from health to sickness. Detecti...
Patrick E. McSharry