3082 search results - page 191 / 617 » Deviation Analysis: A New Use of Model Checking |
161
click to vote
ICEIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract: Enterprise Application Integration (EAI) is a challenging area that is attracting growing attention from the software industry and the research community. A landscape of ...
170
click to vote
IWINAC
2009
Springer
16 years 1 months ago
2009
Springer
Manifold initiatives try to utilize the operational principles of organisms and brains to develop alternative, biologically inspired computing paradigms. This paper reviews key fea...
165
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
Current day database applications, with large numbers of users, require fine-grained access control mechanisms, at the level of individual tuples, not just entire relations/views,...
166
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
We develop a new framework for the quantitative analysis of shapes of planar curves. Shapes are modeled on elastic strings that can be bent, stretched or compressed at different r...
150
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Twisted differential line structure can effectively reduce crosstalk noise on global bus, which foresees a wide applicability. However, measured performance based on fabricated ci...