1021 search results - page 45 / 205 » Concepts in Proof Planning |
153
click to vote
WSC
2007
15 years 8 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...
162
click to vote
EOR
2007
15 years 6 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...
148
click to vote
C5
2008
IEEE
16 years 23 days 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...
166
click to vote
CSFW
2000
IEEE
15 years 10 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...
159
click to vote
VLDB
1989
ACM
15 years 10 months 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...