4359 search results - page 634 / 872 » Automated Pipeline Design |
157
click to vote
EXPERT
2007
15 years 6 months ago
2007
three levels of abstraction in system modeling. Computation Independent Model (CIM) corresponds to the system's domain model and is similar to the domain ontology. It does not...
155
click to vote
IJNSEC
2007
15 years 6 months ago
2007
In this paper, we argue that heterogeneity should be an important principle in design and use of cryptographic protocols. We use automated formal analysis tools to randomly genera...
180
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
sis of strategies, recognizable abstract patterns of planned behavior, highlights the difference between the assumptions that people make about their own planning processes and th...
139
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
This paper initiates the use of vector fields to design, optimize, and implement reactive schedules for safe cooperative robot patterns on planar graphs. We consider Automated Gui...
144
click to vote
CONNECTION
2002
15 years 6 months ago
2002
In the USNavy,at the endof eachsailor's tour of duty, he or she is assigned to a newjob. TheNavyemployssome 280people,called detailers, full timeto effect thesenew assignment...