5130 search results - page 802 / 1026 » Constraint Query Languages |
153
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
161
click to vote
EUROPAR
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes a novel approach to performance analysis for parallel and distributed systems that is based on soft computing. We introduce the concept of performance score re...
144
Voted
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
We consider the problem of testing the commutativity of a black-box group specified by its k generators. The complexity (in terms of k) of this problem was first considered by Pa...
160
click to vote
STEP
2003
IEEE
15 years 11 months ago
2003
IEEE
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this infor...
148
click to vote
TIME
2003
IEEE
15 years 11 months ago
2003
IEEE
In bitemporal databases, current facts and transaction states are modelled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Pr...