1554 search results - page 42 / 311 » A New Simulation Tool for the Modeling and Control of Distri... |
WSC
2008
13 years 10 months ago
2008
Production development can conflict with production ergonomics and management of environmental impacts. In this paper, we describe how ergonomics can be assessed in production sys...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— In the field of mobile robotics, trajectory details are seldom taken into account to qualify robot performance. Most metrics rely mainly on global results such as the total ti...
WSC
2004
13 years 9 months ago
2004
A cellular engineer typically estimates system performance via simulation. An important input to this simulation is the average busy hour subscriber location distribution. The per...
SERVICES
2008
13 years 9 months ago
2008
The emergence of recent XML-based technologies paved the way for new types of architectures and message exchanges on the Internet through Web services. MashUps consist in combinin...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...