12745 search results - page 449 / 2549 » Automating test automation |
141
Voted
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Building Automation Systems (BASs) can save building owners money by reducing energy consumption while simultaneously preserving occupant comfort. There are algorithms that optimi...
154
Voted
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Shelf space allocation is the problem of efficiently arranging retail products on shelves in order to maximise profit, improve stock control, improve customer satisfaction, etc. ...
204
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
213
Voted
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The demand for embedded computing power is continuously increasing and FPGAs are becoming very interesting computing platforms, as they provide huge amounts of customiza...
149
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
Multi-agent systems (MAS) is an accepted paradigm in safety-critical systems, like the production automation. Agents control the underlying machinery they are representing and int...