1950 search results - page 239 / 390 » Lambda-Free Logical Frameworks |
182
click to vote
ECBS
2007
IEEE
16 years 27 days ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
185
click to vote
FBIT
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...
170
click to vote
ICC
2007
IEEE
16 years 27 days ago
2007
IEEE
—Usage control goes beyond traditional access control, addressing its limitations related to attribute mutability and continuous usage permission validation. The recently propose...
138
click to vote
ISQED
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper studies multi-dimensional optimization at both circuit and micro-architecture levels. By formulating and solving the optimization problem with conflicting design objec...
161
click to vote
TASE
2007
IEEE
16 years 25 days ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...