Sciweavers

11022 search results - page 322 / 2205
» Programming Systems for Autonomy
Sort
View
WFLP
2000
Springer
163views Algorithms» more  WFLP 2000»
15 years 10 months ago
Cooperative Constraint Functional Logic Programming
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
Mircea Marin, Tetsuo Ida
HIS
2007
15 years 8 months ago
Organization-Oriented Chemical Programming
Chemical information processing posseses a variety of valuable properties, such as, robustness, concurrency, faulttolerance, and evolvability. However, it is difficult to predict...
Peter Dittrich, Naoki Matsumaru
USS
2004
15 years 8 months ago
Privtrans: Automatically Partitioning Programs for Privilege Separation
Privilege separation partitions a single program into two parts: a privileged program called the monitor and an unprivileged program called the slave. All trust and privileges are...
David Brumley, Dawn Xiaodong Song
169
Voted
VIP
2003
15 years 8 months ago
Compiled Visual Programs by VisPro
VisPro is a general-purpose visual language generation system based on Reserved Graph Grammar (RGG). It is also the execution environment of visual programming languages (VPLs) de...
Ke-Bing Zhang, Mehmet A. Orgun, Kang Zhang
IJCAI
1989
15 years 8 months ago
Logic Programming with General Clauses and Defaults Based on Model Elimination
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...
Marco A. Casanova, Ramiro A. de T. Guerreiro, Andr...