4573 search results - page 767 / 915 » Automated Reasoning |
131
Voted
WILF
2005
Springer
15 years 8 months ago
2005
Springer
We have developed and continue to enhance automated intelligent software that performs the tasks and decision making which now occurs by the personnel manning watch stations in the...
118
Voted
ICWS
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...
121
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
The process of creating e-learning contents using reusable learning objects (LOs) can be broken down in two sub-processes: LOs finding and LO sequencing. Sequencing is usually per...
132
Voted
TSE
2008
15 years 3 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
170
Voted
IAJIT
2011
14 years 10 months ago
2011
: User interfaces have special characteristics that differentiate them from the rest of the software code. Typical software metrics that indicate its complexity and quality may not...