4592 search results - page 135 / 919 » Framework for Studying Substitution |
100
click to vote
FROCOS
2005
Springer
15 years 3 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
MM
2004
ACM
15 years 3 months ago
2004
ACM
Data adaptation is an essential system component in a wide variety of application areas. To date, most applications use ad hoc methods to manage data in response to limited resour...
ISWC
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents a design framework for wearable electronic textiles. The focus is on the design and simulation issues that arise from the interaction of the electronic textile...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Like many large organizations, both governmental and non-governmental, the U.S. Air Force is currently developing and implementing Knowledge Management (KM) initiatives. However, ...
APSEC
2004
IEEE
15 years 1 months ago
2004
IEEE
Architecture frameworks are methods used in architecture modeling. They provide a structured and systematic approach to designing systems. To date there has been little analysis o...