580 search results - page 5 / 116 » Some Computational Aspects of distance-sat |
TLCA
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
ECOOPW
1998
Springer
14 years 2 months ago
1998
Springer
The need for comparison between AOP and related approaches has been retained as a key issue in MLTK97 . We have noticed strong similarities between AOP and some object-oriented ap...
GROUP
1999
ACM
14 years 2 months ago
1999
ACM
Process descriptions are used in workflow and related systems to describe the flow of work and organisational responsibility in business processes, and to aid in coordination. How...
AIED
2005
Springer
14 years 3 months ago
2005
Springer
Part of the motivation behind the evolution of learning environments is the idea of providing students with individualized instructional strategies that allow them to learn as much...
CASCON
1996
13 years 11 months ago
1996
The correct and ecient management of data in distributed databases or mobile computing environments is dicult. Communication disruptions within such systems render the execution o...