289 search results - page 39 / 58 » Production Scheduling by Reachability Analysis - A Case Stud... |
ICSEA
2007
IEEE
14 years 2 months ago
2007
IEEE
Knowledge management is the key area of focus in the present information technology scenario. It forms a basis to derive standards and models and steers organizations through an e...
COR
2006
13 years 8 months ago
2006
The objective of the present paper is to select the best compromise irrigation planning strategy for the case study of Jayakwadi irrigation project, Maharashtra, India. Four-phase...
INFORMATICALT
2007
13 years 7 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
ICECCS
1998
IEEE
14 years 4 days ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...