501 search results - page 52 / 101 » Diagram Techniques for Confluence |
111
click to vote
CHI
2003
ACM
16 years 2 months ago
2003
ACM
We investigated what mobile workers do when they are mobile to achieve their communication goals, using contextual interviews and ethnographically inspired observations in a varie...
121
click to vote
ICDE
2010
IEEE
15 years 8 months ago
2010
IEEE
— We present a tool for the static analysis of XPath queries and XML Schemas. The tool introduces techniques used in the field of verification (such as binary decision diagrams...
119
click to vote
ICECCS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
131
click to vote
HASE
2005
IEEE
15 years 7 months ago
2005
IEEE
Aspect-oriented modeling is proposed to design the architecture of fault tolerant systems. Notations are introduced that support the separate and modularized design of functional ...
113
click to vote
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
A new graph reduction approach to symbolic circuit analysis is developed in this paper. A Binary Decision Diagram (BDD) mechanism is formulated, together with a specially designed ...