8587 search results - page 86 / 1718 » Interactive dynamic abstraction |
ICST
2010
IEEE
13 years 7 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
IV
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--Dynamic recompilation tries to produce more efficient code by exploiting runtime information. Virtual machines like the Jikes RVM use recompilation heuristics to decide h...
EDOC
2011
IEEE
12 years 9 months ago
2011
IEEE
Abstract—Due to future ubiquitous service environments, approaches for dynamic delivery of services face new challenges. Since the web 2.0 gave to customers the change to interac...
IJLT
2008
13 years 9 months ago
2008
: This paper addresses the challenge of enhancing social interaction through value-added connections among online community members engaged in knowledge exchange. We report on our ...
ECAI
1998
Springer
14 years 1 months ago
1998
Springer
: This paper describes a representation of the meanings of verbs based on the dynamics of interactions between two agents or objects. The representation treats interactions as havi...