3468 search results - page 40 / 694 » An open logical framework |
ICWE
2003
Springer
14 years 4 months ago
2003
Springer
This paper presents a framework for the integration of web-based educational systems. It is part of a research project, MEDEA1 , whose final goal is to develop a general framework ...
DIM
2006
ACM
14 years 5 months ago
2006
ACM
With the advancement in user-centric and URI-based identity systems over the past two years, it has become clear that a single specification will not be the solution to all proble...
ICRA
2006
IEEE
14 years 5 months ago
2006
IEEE
— Robots are increasingly being used in Computer Integrated Surgery (CIS) systems, yet to our knowledge, there is no open source software that is specifically targeted at this a...
ERCIMDL
2005
Springer
14 years 4 months ago
2005
Springer
One of the objectives of the Open Access movement is to establish institutional repositories at universities and other research institutions in order to support self-archiving. Alt...
CDC
2008
IEEE
14 years 5 months ago
2008
IEEE
— We discuss a framework for defining physical open systems on higher-dimensional complexes. We start with the formalization of the dynamics of open electrical circuits and the ...