4737 search results - page 261 / 948 » The LOGIC negotiation model |
212
click to vote
ISSTA
2004
ACM
16 years 20 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
189
click to vote
PODS
1989
ACM
15 years 11 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
184
click to vote
CONSTRAINTS
2007
15 years 7 months ago
2007
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...
208
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Although, computational Grid has been initially developed to solve large-scale scientific research problems, it is extended for commercial and industrial applications. An interest...
203
click to vote
MIDDLEWARE
2004
Springer
16 years 18 days ago
2004
Springer
This paper proposes a way to realize the idea of calm computing by adding a dynamic task model into the pervasive computing environment. This task model contains information about...