983 search results - page 91 / 197 » Mathematics Computing Environment on the Web |
ICSE
2007
IEEE-ACM
14 years 5 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
ACE
2004
14 years 18 days ago
2004
A key problem in facilitating a successful online course is the highly time -consuming nature of the administrative and pedagogical tasks involved. It is also difficult to achieve...
ERSHOV
1993
Springer
14 years 3 months ago
1993
Springer
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
SEMWEB
2007
Springer
14 years 5 months ago
2007
Springer
Abstract Traditional ontology mapping techniques are not strictly applicable in a dynamic and distributed environment (e.g. P2P and pervasive computing) in which on-the-fly alignm...
ISIPTA
2003
IEEE
14 years 4 months ago
2003
IEEE
The nature of much information available to decision makers is vague and imprecise, be it information for human managers in organisations or for process agents in a distributed co...