3005 search results - page 408 / 601 » Logical Information Systems: from Taxonomies to Logics |
203
click to vote
TLDI
2005
ACM
16 years 4 days ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
196
click to vote
INAP
2001
Springer
15 years 11 months ago
2001
Springer
Mobile agent technology is an emerging technology that allows easier design, implementation, and maintenance of distributed systems. Mobility enables agents to reduce network load,...
192
click to vote
HT
1987
ACM
15 years 10 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
164
click to vote
ADBIS
2005
Springer
16 years 4 days ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
157
click to vote
EDOC
2006
IEEE
16 years 19 days ago
2006
IEEE
— It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines a...