1021 search results - page 45 / 205 » Concepts in Proof Planning |
WSC
2007
13 years 11 months ago
2007
Agility, speed and flexibility in production networks are required in today's global competition in the flat world. The accuracy of order date delivery promises is a key elem...
EOR
2007
13 years 8 months ago
2007
The paper proposes a preventive maintenance (PM) planning model for the performance improvement of cellular manufacturing systems (CMS) in terms of machine reliability, and resour...
C5
2008
IEEE
14 years 3 months ago
2008
IEEE
We present a new basic metaphors and concepts for authoring environments by distinguishing between content and form. By distinguishing between planning the scope of action (conten...
CSFW
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
VLDB
1989
ACM
14 years 21 days ago
1989
ACM
: We describe the architecture of a relational databasesystem that is extensible by user-defined data types and operations, including relation operations. The central concept is to...