1133 search results - page 118 / 227 » Local Logics for Traces |
144
click to vote
FMCAD
2007
Springer
16 years 17 days ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
159
click to vote
GPC
2007
Springer
16 years 16 days ago
2007
Springer
A grid has to provide strong incentive for participating sites to join and stay in it. Participating sites are concerned with the performance improvement brought by the gird for th...
152
click to vote
CEC
2005
IEEE
16 years 15 hour ago
2005
IEEE
The evolution of music, from random note strings to certain “pleasant” note sequences, is traced in a multi-agent computational model. A community of agents, with some musical ...
153
click to vote
ECOOP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...
175
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Advance Reservations are an important concept to support QoS and Workflow Scheduling in Grid environments. However, the impact of reservations from the Grid on the performance of ...