2242 search results - page 215 / 449 » From testing to anti-product development |
204
click to vote
SIES
2007
IEEE
16 years 26 days ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
235
click to vote
CAIP
2007
Springer
16 years 23 days ago
2007
Springer
Automating the steps involved in video processing has yet to be tackled with much success by vision developers and knowledge engineers. This is due to the difficulty in formulating...
144
click to vote
ICANNGA
2007
Springer
16 years 22 days ago
2007
Springer
We developed a computational model of the mushroom body (MB), a prominent region of multimodal integration in the insect brain, and tested the model’s performance for non-element...
177
click to vote
HICSS
2006
IEEE
16 years 19 days ago
2006
IEEE
National surveys demonstrate that millions of crimes go unreported in the United States. Several reasons may contribute to this lack of reporting and we are investigating these po...
211
click to vote
ICNS
2006
IEEE
16 years 19 days ago
2006
IEEE
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...