7112 search results - page 344 / 1423 » Power in normative systems |
185
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes how GLADE, our implementation of the Ada 95 Distributed Systems Annex, can be used to build large object-oriented real-time distributed systems. In addition t...
166
click to vote
JUCS
2007
15 years 6 months ago
2007
: This paper introduces the notion of pedagogical natural deduction systems, which are natural deduction systems with the following additional constraint: all hypotheses made in a ...
167
click to vote
CODES
2005
IEEE
16 years 9 days ago
2005
IEEE
In embedded cryptosystems, sensitive information can leak via timing, power, and electromagnetic channels. We introduce a novel power-smart system-on-chip architecture that provid...
110
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
The paper discusses an implementation of adaptivity and intelligent technology in the TILE project, which is researching, evaluating and developing an integrated system for educat...
174
Voted
MEMBRANE
2007
Springer
16 years 25 days ago
2007
Springer
Some initial results on the study of conformon-P systems with negative values are reported. One model of these conformon-P systems is proved to be computationally universal while a...