2067 search results - page 377 / 414 » Logics of propositional control |
111
click to vote
WSC
2008
15 years 3 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
101
click to vote
ASSETS
2008
ACM
15 years 3 months ago
2008
ACM
Educational games are a beneficial activity motivating a large number of students in our society. Unfortunately, disabled people have reduced opportunities when using a computer g...
112
click to vote
ITS
2010
Springer
15 years 3 months ago
2010
Springer
A vital goal of instruction is to enable learners to transfer acquired knowledge to appropriate future situations. For elementary school children in middle-high-SES schools, “exp...
113
click to vote
ADBIS
2006
Springer
15 years 3 months ago
2006
Springer
Because of information ubiquity, one observes an important trend towards transferring information management tasks from database systems to networks. We introduce the notion of Da...
125
click to vote
ESAS
2006
Springer
15 years 3 months ago
2006
Springer
This work describes a low-cost Public-Key Cryptography (PKC) based solution for security services such as key-distribution and authentication as required for wireless sensor networ...