3400 search results - page 118 / 680 » tools 2008 |
IADIS
2008
13 years 10 months ago
2008
Moodle is one of the most extended Learning Management Systems and is based on the open source (GPL) license agreement. We summarize the advantages of the use of this environment ...
ESWA
2008
13 years 9 months ago
2008
In this paper, we present samap, whose goal is to build a software tool to help different people visit different cities. This tool integrates modules that dynamically capture user...
JLP
2008
13 years 9 months ago
2008
In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. W...
CAD
2008
Springer
13 years 9 months ago
2008
Springer
: This paper deals with optimization of 5-axis trajectories in the context of high-speed machining. The objective is to generate tool paths suited to high speed follow-up during ma...
FAC
2008
13 years 9 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...