5200 search results - page 117 / 1040 » Symbolic models for control systems |
WSC
2007
13 years 11 months ago
2007
The appropriate production and inventory control policy is a key factor for modern enterprises’ success in competitive environment. In the food industry, most of food manufactur...
INFOVIS
2005
IEEE
14 years 2 months ago
2005
IEEE
We present the Visual Code Navigator, a set of three interrelated visual tools that we developed for exploring large source code software projects from three different perspective...
ICMCS
2007
IEEE
14 years 3 months ago
2007
IEEE
As more and more tools are developed for meeting support tasks, properly using these tools to get expected results becomes too complicated for many meeting participants. To addres...
ESAW
2004
Springer
14 years 2 months ago
2004
Springer
The deployment of multi-agent systems demands for justified confidence into their behaviour, both with respect to correct results of computations and with respect to timeliness t...
FDL
2005
IEEE
14 years 2 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...