2165 search results - page 350 / 433 » Cooperative Software Development: Concepts, Model and Tools |
136
click to vote
CIA
2003
Springer
15 years 11 months ago
2003
Springer
A multi-agent system is a network of software agents that cooperate to solve problems. In open multi-agent systems, the agents that need resources provided by other agents are not ...
171
click to vote
ICCHP
2004
Springer
15 years 11 months ago
2004
Springer
: Multimedia and Hypermedia technologies can be successfully used in education and rehabilitation for cognitively disabled persons. In particular, storytelling has always proved su...
142
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
163
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Protein structure analysis and comparison are major challenges in structural bioinformatics. Despite the existence of many tools and algorithms, very few of them have ...
133
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: There are several situations in population biology research where simulating DNA sequences is useful. Simulation of biological populations under different evolutionary...