126 search results - page 21 / 26 » Using Formal Tools to Study Complex Circuits Behaviour |
90
Voted
TCS
2002
14 years 11 months ago
2002
In this work, we investigate various specification languages and their relation to Casl, the recently developed Common Algebraic Specification Language. In particular, we consider...
SIGSOFT
2008
ACM
16 years 12 days ago
2008
ACM
Commercial software project managers design project organizational structure carefully, mindful of available skills, division of labour, geographical boundaries, etc. These organi...
IJCAI
1993
15 years 29 days ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
126
click to vote
DILS
2006
Springer
15 years 3 months ago
2006
Springer
Scientific experiments are becoming increasingly large and complex, with a commensurate increase in the amount and complexity of data generated. Data, both intermediate and final r...
100
click to vote
PODS
2010
ACM
14 years 12 months ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...