Sciweavers

3796 search results - page 553 / 760
» Presentations by Programmers for Programmers
Sort
View
KBS
2002
98views more  KBS 2002»
15 years 2 months ago
Integrating AI planning techniques with workflow management system
There is a variety of applications that can benefit from the ability to find optimal or good solutions to a proposed problem automatically. The Artificial Intelligent (AI) communi...
María Dolores Rodríguez-Moreno, Paul...
PUC
1998
92views more  PUC 1998»
15 years 2 months ago
Transparent Migration of Java-Based Mobile Agents: Capturing and Reestablishing the State of Java Programs
In this paper we describe a way to save and restore the state of a running Java program. We achieve this on the language level, without modifying the Java virtual machine, by instr...
Stefan Fünfrocken
SIMPRA
2008
137views more  SIMPRA 2008»
15 years 1 months ago
An admissible-behaviour-based analysis of the deadlock in Petri-net controllers
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...
G. Music, Drago Matko
IWPC
2010
IEEE
15 years 27 days ago
SVS, BORS, SVSi: Three Strategies to Relate Problem and Program Domains
— Program Comprehension is improved if: i) the Problem and Program Domains can be related, and ii) this relation is shown in a suitable way to the programmer. Currently, there ar...
Mario M. Beron, Maria João Varanda Pereira,...
PPDP
2010
Springer
15 years 26 days ago
Dimensions in program synthesis
Program Synthesis, which is the task of discovering programs that realize user intent, can be useful in several scenarios: enabling people with no programming background to develo...
Sumit Gulwani