1598 search results - page 106 / 320 » A Unified Computation Model for Functional and Logic Program... |
139
click to vote
SEUS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...
175
click to vote
ECEASST
2008
15 years 4 months ago
2008
The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large var...
167
click to vote
AMAI
2006
Springer
15 years 4 months ago
2006
Springer
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...
123
click to vote
ICALP
2003
Springer
15 years 10 months ago
2003
Springer
A special class of oracle circuits with tree-vector form is introduced. It is shown that they can be evaluated in deterministic polynomial-time with a polylog number of adaptive qu...
130
click to vote
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
Reliability modeling and evaluation is expected to be one of the major issues in emerging nano-devices and beyond 22nm CMOS. Such devices would have inherent propensity for gate f...