1554 search results - page 181 / 311 » Testing Polymorphic Behavior |
ICSE
2010
IEEE-ACM
14 years 20 days ago
2010
IEEE-ACM
In software with emergent properties, despite the best efforts to remove faults before execution, there is a high likelihood that faults will occur during runtime. These faults c...
HT
2009
ACM
14 years 16 days ago
2009
ACM
This paper develops a probabilistic framework that can model and predict group activity over time on online social media. Users of social media sites such as Flickr often face the...
AGENTS
2001
Springer
14 years 11 days ago
2001
Springer
This paper describes Icarus, an agent architecture that embeds a hierarchical reinforcement learning algorithm within a language for specifying agent behavior. An Icarus program e...
IWDC
2001
Springer
14 years 9 days ago
2001
Springer
Considering that current end to end communication services are not adapted for supporting efficiently distributed multimedia application, this paper introduces a new family of gene...
IWSSD
2000
IEEE
14 years 7 days ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...