1554 search results - page 181 / 311 » Testing Polymorphic Behavior |
74
Voted
ICSE
2010
IEEE-ACM
15 years 5 months 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...
107
Voted
HT
2009
ACM
15 years 5 months 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...
127
click to vote
AGENTS
2001
Springer
15 years 5 months 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...
104
Voted
IWDC
2001
Springer
15 years 5 months 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
15 years 5 months 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...