225 search results - page 14 / 45 » Inter-enterprise System and Application Integration: A Reali... |
SEDE
2007
2007
A framework for constraint checking involving aggregates for multiple XML databases using schematron
13 years 9 months ago
Many internet and enterprise applications now not only use XML (eXtensible Markup Language) as a medium for communication but also for storing their data either temporarily for an...
TPHOL
1999
IEEE
14 years 4 days ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
ISVLSI
2007
IEEE
14 years 2 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
DSVIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
ACMACE
2005
ACM
14 years 1 months ago
2005
ACM
This paper explores the design of a reconfigurable large-area high-resolution pressure sensing floor to help study human dance movement. By measuring the pressure of a user intera...