5184 search results - page 338 / 1037 » Computer support for mechatronic control system design |
155
Voted
IPPS
2006
IEEE
16 years 24 days ago
2006
IEEE
Having reliable security in systems is of the utmost importance. However, the existing framework of writing, distributing and linking against code in the form of libraries and/or ...
175
click to vote
MUM
2009
ACM
16 years 1 months ago
2009
ACM
Reducing their energy consumption has become an important objective for many people. Consumption transparency and timely feedback are essential to support those who want to adjust...
183
click to vote
ENTCS
2007
15 years 6 months ago
2007
Automated deduction methods should be specified not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, di...
196
Voted
ENVSOFT
2011
15 years 1 months ago
2011
Jet fans are applied for control of air flow and support of pollutant dispersal in large enclosures. In The Netherlands, application is well known for car parks as part of the fir...
193
click to vote
IJISEC
2007
15 years 6 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...