1005 search results - page 196 / 201 » Formal Software Development in MAYA |
110
click to vote
AI
2002
Springer
14 years 11 months ago
2002
Springer
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...
BMCBI
2004
14 years 11 months ago
2004
Background: Many proteomics initiatives require a seamless bioinformatics integration of a range of analytical steps between sample collection and systems modeling immediately ass...
115
click to vote
W4A
2005
ACM
15 years 5 months ago
2005
ACM
The need for providing learners with web-based learning content that match their accessibility needs and preferences, as well as providing ways to match learning content to userā...
134
click to vote
GSEM
2004
Springer
15 years 5 months ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
121
click to vote
EFDBS
2003
15 years 1 months ago
2003
A deļ¬nition of types in an information system is given from ld abstractions through data constructs, schema and deļ¬nitions to physical data values. Category theory suggests tha...