9444 search results - page 1501 / 1889 » The Language Model LMNtal |
162
click to vote
SEMWEB
2001
Springer
15 years 11 months ago
2001
Springer
The Semantic Web should enable greater access not only to content but also to services on the Web. Users and software agents should be able to discover, invoke, compose, and monit...
190
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Mobile Code (MC) technologies provide appealing solutionsfor the development of Internet applications.For instance, Java technologyfacilitates dynamic loading of application code ...
160
click to vote
ASWEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
179
click to vote
APLAS
2000
ACM
15 years 11 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
201
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
One of the major challenges of post-PC computing is the need to reduce energy consumption, thereby extending the lifetime of the batteries that power these mobile devices. Memory ...