1341 search results - page 184 / 269 » Logic for Modeling Product Structure |
137
Voted
ICEIS
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
151
Voted
VLSID
2005
IEEE
16 years 4 months ago
2005
IEEE
We propose a novel, non-simulative, probabilistic model for switching activity in sequential circuits, capturing both spatio-temporal correlations at internal nodes and higher ord...
132
Voted
APCCM
2008
15 years 5 months ago
2008
There is an increasing community of researchers trying to draw attention to the importance of evaluation issues. Some approaches can be followed to evaluate the quality of softwar...
121
Voted
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re...
116
Voted
WECWIS
2002
IEEE
15 years 8 months ago
2002
IEEE
In the web context, it is difficult to disentangle presentation from process logic, and sometimes even data is not separate from the presentation. Consequently, it becomes to de...