Sciweavers

1728 search results - page 138 / 346
» Formal Modeling of Process Migration
Sort
View
IAT
2006
IEEE
15 years 9 months ago
Specification and Verification of Dynamics in Cognitive Agent Models
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...
IEEEICCI
2003
IEEE
15 years 8 months ago
A Layered Reference Model of the Brain
– A variety of life functions and cognitive processes have been identified in cognitive informatics, psychology, cognitive science, and neurophilosophy. This paper attempts to de...
Yingxu Wang, Shushma Patel, Dilip Patel, Ying Wang
PPAM
2005
Springer
15 years 8 months ago
A Web Computing Environment for Parallel Algorithms in Java
We present a web computing library (PUBWCL) in Java that allows to execute tightly coupled, massively parallel algorithms in the bulk-synchronous (BSP) style on PCs distributed ove...
Olaf Bonorden, Joachim Gehweiler, Friedhelm Meyer ...
CLOUD
2010
ACM
15 years 8 months ago
A self-organized, fault-tolerant and scalable replication scheme for cloud storage
Failures of any type are common in current datacenters, partly due to the higher scales of the data stored. As data scales up, its availability becomes more complex, while differe...
Nicolas Bonvin, Thanasis G. Papaioannou, Karl Aber...
KIVS
1999
Springer
15 years 7 months ago
Mobile Agents as an Architectural Concept for Internet-Based Distributed Applications - The WASP Project Approach
Abstract. After introducing the concept of mobile agents and potential application domains, we motivate why mobile agent technology is an interesting concept for large Internet-bas...
Stefan Fünfrocken, Friedemann Mattern