Sciweavers

16206 search results - page 290 / 3242
» In this issue
Sort
View
CORR
2006
Springer
123views Education» more  CORR 2006»
15 years 6 months ago
Continuations, proofs and tests
Continuation Passing Style (CPS) is one of the most important issues in the field of functional programming languages, and the quest for a primitive notion of types for continuati...
Stefano Guerrini, Andrea Masini
IJFCS
2008
166views more  IJFCS 2008»
15 years 6 months ago
Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems
The conventional forbidden state problem for discrete event systems is concerned with the issue of synthesizing a maximally permissive control policy to prevent a discrete event s...
Hsu-Chun Yen
CORR
2007
Springer
99views Education» more  CORR 2007»
15 years 6 months ago
Machine structure oriented control code logic
Abstract. Control code is a concept that is closely related to a frequently occurring practitioner’s view on what is a program: code that is capable of controlling the behaviour ...
Jan A. Bergstra, C. A. Middelburg
KI
2008
Springer
15 years 6 months ago
UML Representation Proposal for XTT Rule Design Method
In the paper practical issues concerning the use of UML as a knowledge representation method for rules are discussed. A proposal of an UML-based representation for the XTT structur...
Grzegorz J. Nalepa, Krzysztof Kluza
ENGL
2007
109views more  ENGL 2007»
15 years 6 months ago
Fuzzy Measures Acquisition Methods
- Fuzzy measures are monotonic set functions used for modelling strength of coalition of criteria in multicriteria decision-making. However, the practical application of fuzzy meas...
Amol Wagholikar, Peter Deer