Sciweavers

3901 search results - page 561 / 781
» software 2008
Sort
View
WIMOB
2008
IEEE
16 years 27 days ago
A Protocol for Pervasive Distributed Computing Reliability
Abstract—The adoption of new hardware and software architectures will make future generations of pervasive devices more flexible and extensible. Networks of computational nodes ...
Alberto Ferrante, Roberto Pompei, Anastasia Stulov...
AFP
2008
Springer
236views Formal Methods» more  AFP 2008»
16 years 27 days ago
A Tutorial on Parallel and Concurrent Programming in Haskell
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
Simon L. Peyton Jones, Satnam Singh
AIMSA
2008
Springer
16 years 27 days ago
The Agent Modeling Language (AMOLA)
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
Nikolaos I. Spanoudakis, Pavlos Moraitis
AWCC
2004
Springer
15 years 12 months ago
An Approach to Dynamically Reconfiguring Service-Oriented Applications from a Business Perspective
Abstract. This paper proposes an approach to dynamically reconfiguring service-oriented applications from a business perspective: CAFISEadapt, which defines both business-level and...
Jianwu Wang, Yanbo Han, Jing Wang 0002, Gang Li
AIIDE
2008
15 years 8 months ago
OpenNERO: A Game Platform for AI Research and Education
OpenNERO is an open source game platform designed for game AI research. The software package combines features commonly available in modern game engines (such as 3D graphics, phys...
Igor Karpov, John Sheblak, Risto Miikkulainen