2550 search results - page 360 / 510 » The Meaning of Open Standards |
184
click to vote
HASKELL
2006
ACM
16 years 11 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
171
click to vote
SIGMETRICS
2006
ACM
16 years 11 days ago
2006
ACM
A new methodology to assess transient performance measures of tree-like processes is proposed by introducing the concept of tree-like processes with marked time epochs. As opposed...
152
click to vote
ASWEC
2005
IEEE
16 years 1 days ago
2005
IEEE
The success of UML and more generally, of the model driven approach, has led to a proliferation of models, representing various systems, but the description of large applications ...
184
click to vote
ISQED
2005
IEEE
16 years 1 hour ago
2005
IEEE
As technology continues to scale beyond 100nm, there is a significant increase in performance uncertainty of CMOS logic due to process and environmental variations. Traditional c...
152
click to vote
SIGDOC
2005
ACM
15 years 12 months ago
2005
ACM
The creation process of technical documentation is an expensive and time-consuming task especially for complex products. To make this process more cost-efficient computerized supp...