Results 91 to 100 of about 196 (145)

Uppaal Stratego for Intelligent Traffic Lights

open access: yes, 2017
Modern traffic lights use information from induction loops and to some extend radar information. Recent developments in radar technology has made it possible to obtain more detailed information relevant to the control mechanism of the traffic light. Unfortunately much of the current controllers do not profit from this additional information. Using this
Eriksen, Andreas Berre   +6 more
openaire   +1 more source

Proceedings of the second stratego users day

open access: yes, 2001
Stratego and the underlying system S are as yet untyped. We propose a type system which covers the essence of system 5. In addition to system 5, a generic traversal primitive for folding the children of a term is considered. This primitive is essential for type-changing traversal strategies.
openaire   +3 more sources

strategos

open access: yesJournal of Industry-Academia-Government Collaboration, 2008
openaire   +1 more source
Some of the next articles are maybe not open access.

Related searches:

STRATEGOS: A case-based approach to strategy making in SME

Proceedings of the International Multiconference on Computer Science and Information Technology, 2010
Making strategic decisions in an enterprise is one of the most difficult problems of management. It is a result of unstructured character of such decisions which are made in conditions of high uncertainty. This issue is particularly important in case of Small and Medium Enterprises (SME), where Chief Executive Officers (CEO) are lacking support in this
exaly   +2 more sources

Uppaal Stratego [PDF]

open access: possible, 2015
Uppaal Stratego is a novel tool which facilitates generation, optimization, comparison as well as consequence and performance exploration of strategies for stochastic priced timed games in a user-friendly manner. The tool allows for efficient and flexible "strategy-space" exploration before adaptation in a final implementation by maintaining strategies
Alexandre David   +4 more
openaire   +2 more sources

Home - About - Disclaimer - Privacy