854 search results - page 155 / 171 » Addressing Dynamic Issues of Program Model Checking |
101
click to vote
ADAEUROPE
2005
Springer
15 years 5 months ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
140
click to vote
GRAPHICSINTERFACE
2004
15 years 1 months ago
2004
We propose a novel approach for a dense texture-based visualization of vector fields on curved surfaces. Our texture advection mechanism relies on a Lagrangian particle tracing th...
100
click to vote
AINA
2004
IEEE
15 years 3 months ago
2004
IEEE
: Wide area network (WAN) -based distributed computing (DC) has become an active field of research, especially under the label of grid computing. On the other hand, research on WAN...
134
click to vote
AAMAS
2005
Springer
14 years 11 months ago
2005
Springer
Cooperative multi-agent systems are ones in which several agents attempt, through their interaction, to jointly solve tasks or to maximize utility. Due to the interactions among t...
ICSE
2008
IEEE-ACM
16 years 15 days ago
2008
IEEE-ACM
Pervasive computing software adapts its behavior according to the changing contexts. Nevertheless, contexts are often noisy. Context inconsistency resolution provides a cleaner pe...