5241 search results - page 191 / 1049 » Embedded Programming with C |
86
Voted
LCTRTS
2004
Springer
15 years 6 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
75
Voted
FSS
2006
15 years 19 days ago
2006
A class of fuzzy linear programming (FLP) problems with fuzzy coefficients based on fuzzy relations is introduced, the concepts of feasible and (, )-maximal and minimal solutions ...
127
click to vote
ILP
2001
Springer
15 years 5 months ago
2001
Springer
In the line of previous work by S. Muggleton and C. Sakama, we extend the logical characterization of inductive logic programming, to normal logic programs under the stable models ...
140
Voted
CODES
2005
IEEE
15 years 6 months ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
PADL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...