70 search results - page 6 / 14 » Better Quasi-Ordered Transition Systems |
ICSEA
2007
IEEE
14 years 2 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
SELMAS
2004
Springer
14 years 1 months ago
2004
Springer
Agent architectures have to cope with a number of internal properties (concerns), such as autonomy, learning, and mobility. As the agent complexity increases, these agent propertie...
AIED
2007
Springer
14 years 2 months ago
2007
Springer
In this work we are investigating the learning benefits of e-Learning principles (a) within the context of a web-based intelligent tutor and (b) in the “wild,” that is, in real...
GRID
2007
Springer
14 years 2 months ago
2007
Springer
—The functional heterogeneity of non-dedicated computational grids will increase with the inclusion of resources from desktop grids, P2P systems, and even mobile grids. Machine f...
ICCD
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper proposes a novel approach to implement software object in hardware. Data-Memory mapping schemes are investigated and four hardware object design schemes are proposed an...