5434 search results - page 328 / 1087 » Tool support for MOLA |
244
click to vote
LPAR
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
140
click to vote
IEEESCC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we describe a framework that supports runtime service discovery in both pull and push modes. Our framework supports service discovery based on structural and behavio...
152
click to vote
ICALT
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper, we present a web-based educational setting, referred to as SCALE (Supporting Collaboration and Adaptation in a Learning Environment), which aims to serve leaning an...
156
click to vote
IUI
2006
ACM
16 years 20 days ago
2006
ACM
This paper presents our novel framework, which creates user interfaces (UIs) for a variety of devices by annotating and reusing an existing one originally designed for large devic...
163
click to vote
HT
2003
ACM
15 years 12 months ago
2003
ACM
This paper argues that the existence of a developer support framework is a critical issue to the usage of Open Hypermedia Systems (OHSs). For this reason, the OHS Community would ...