3573 search results - page 542 / 715 » Reasoning about Codata |
97
Voted
IJIM
2008
15 years 3 months ago
2008
Podcasts have been employed extensively in some countries and are now being trialed at a number of universities in Australia. They allow ubiquitous learning whereby students can ac...
123
click to vote
IJSC
2008
15 years 3 months ago
2008
ifferent abstraction levels, resulting in isolated `information silos'. An increasing number of task-specific software tools aim to support developers, but this often results ...
105
click to vote
IPL
2008
15 years 3 months ago
2008
As part of the efforts put in understanding the intricacies of the k-colorability problem, different distributions over k-colorable graphs were analyzed. While the problem is notor...
132
click to vote
ISI
2008
Springer
15 years 3 months ago
2008
Springer
Identity Management plays a crucial role in many application contexts, including e-governments, e-commerce, business intelligence, investigation, and homeland security. The variet...
139
click to vote
JCP
2008
15 years 3 months ago
2008
- Our paper focuses on the generation of optimal test sequences and test cases using Intelligent Agents for highly reliable systems. Test sequences support test case generation for...