82 search results - page 8 / 17 » ifip 2010 |
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
Human Resources Management (HRM) is the strategic management of the employees, who individually and collectively contribute to the achievement of the strategic goals of an organiza...
IFIP12
2010
14 years 8 months ago
2010
: An investigation of rule learning processes that allow the inclusion of negated features is described. The objective is to establish whether the use of negation in inductive rule...
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
Many cryptographic schemes have been designed to enforce information flow policies. However, enterprise security requirements are often better encoded, or can only be encoded, usin...
109
click to vote
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...