7057 search results - page 1175 / 1412 » Tasks, domains, and languages |
169
click to vote
TAICPART
2006
IEEE
16 years 19 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
188
click to vote
SIGCSE
2006
ACM
16 years 17 days ago
2006
ACM
Windows Media Player user interface “skin” creation has proven an extremely effective method to reinforce practical object oriented programming techniques. Skin creation motiv...
209
click to vote
DEXAW
2005
IEEE
16 years 7 days ago
2005
IEEE
As the complexity of computing systems steadily increases, self-managing systems – as Autonomic Computing Systems (ACS) proposed by IBM – are an adequate approach to minimize ...
203
click to vote
ISORC
2005
IEEE
16 years 6 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
181
click to vote
IUI
2005
ACM
16 years 5 days ago
2005
ACM
Within the framework of the project NICE (Natural Interactive Communication for Edutainment) [2], we have been developing an educational and entertaining computer game that allows...