1799 search results - page 181 / 360 » The Logic of Correctness in Software Engineering |
176
click to vote
AVI
2006
15 years 8 months ago
2006
This paper presents an analysis of user studies from a review of papers describing new visualisation applications and uses these to highlight various issues related to the evaluat...
172
click to vote
CSSE
2008
IEEE
15 years 6 months ago
2008
IEEE
Along with the variation of the market circumstance the automotive industry has to be confronted with various challenges. In order to satisfy the customers' requirement of Imp...
161
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
156
click to vote
APSEC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Real-time embedded systems (RTESs) are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Effective testing techniques c...
216
click to vote
SOCO
2012
Springer
14 years 2 months ago
2012
Springer
Abstract Population-based meta-heuristics are algorithms that can obtain very good results for complex continuous optimization problems in a reduced amount of time. These search al...