3218 search results - page 17 / 644 » Timed Extensions for SDL |
KES
2008
Springer
13 years 8 months ago
2008
Springer
This paper presents an intelligent traffic light control method based on extension neural network (ENN) theory for crossroads. First, the number of passing vehicles and passing tim...
COMCOM
2000
13 years 8 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
ENTCS
2006
13 years 8 months ago
2006
Increasing attention has been paid recently to criteria that allow one to conclude that a structure models a linear-time property from the knowledge that no counterexamples exist ...
DAM
2007
13 years 8 months ago
2007
We study a many-to-many generalisation of the well-known stable roommates problem in which each participant seeks to be matched with a number of others. We present a linear-time a...
EMISA
2009
Springer
14 years 3 months ago
2009
Springer
Companies employ business process management suites to model, run, and maintain their processes. These processes are required to comply with requirements originating from standards...