3801 search results - page 442 / 761 » An Approach to Modeling Software Safety |
186
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
A recent trend in Ubiquitous Computing is that embedded software (e.g. in production machines, wired or wireless networked sensors and actuators, or RFID readers) directly offers W...
161
click to vote
SPLC
2008
15 years 8 months ago
2008
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...
143
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Automated localization of software bugs is one of the essential issues in debugging aids. Previous studies indicated that the evaluation history of program predicates may disclose...
189
click to vote
NGC
2000
Springer
15 years 6 months ago
2000
Springer
With the increasing popularity of the WWW, the main challenge in computer science has become content-based retrieval of multimedia objects. Access to multimedia objects in database...
141
click to vote
HCI
2009
15 years 4 months ago
2009
To build software which, at the press of a button, can tell you what cognition related hazards there are within an environment or a task, is probably well into the future if it is ...