Sciweavers

3311 search results - page 372 / 663
» Deductive Object Programming
Sort
View
132
Voted
WSC
2004
15 years 5 months ago
Educating Middle and High School Students in Space Operations: The Simulation Approach
This paper describes a proposed pilot educational program to teach middle and high school students the space shuttle processing operations. This pilot program involves a partnersh...
Mansooreh Mollaghasemi, Michael Georgiopoulos, Ann...
134
Voted
EOR
2008
110views more  EOR 2008»
15 years 3 months ago
Runway sequencing with holding patterns
We study a scheduling problem, motivated by air-traffic control, in which a set of aircrafts are about to land on a single runway. When coming close to the landing area of the air...
Konstantin Artiouchine, Philippe Baptiste, Christo...
140
Voted
IJNSEC
2007
142views more  IJNSEC 2007»
15 years 3 months ago
Java Bytecode Dependence Analysis for Secure Information Flow
Java programs can be transmitted and executed on another host in bytecode format, thus the sensitive information of the host may be leaked via these assembly-like programs. Inform...
Gaowei Bian, Ken Nakayama, Yoshitake Kobayashi, Ma...
159
Voted
ASE
2005
102views more  ASE 2005»
15 years 3 months ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
108
Voted
IWINAC
2005
Springer
15 years 9 months ago
Parallel Evolutionary Computation: Application of an EA to Controller Design
The evolutionary algorithms can be considered as a powerful and interesting technique for solving large kinds of control problems. However, the great disadvantage of the evolutiona...
Manuel Parrilla Sánchez, Joaquín Ara...