5550 search results - page 191 / 1110 » Different Approaches to Proof Systems |
143
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— A wide number of mobile multi-robot systems makes use of behavior-based approaches to accomplish their missions. However, despite the advantages in term of flexibility and ver...
148
click to vote
HICSS
1997
IEEE
15 years 10 months ago
1997
IEEE
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
119
click to vote
WSC
2008
15 years 8 months ago
2008
A simulation model representing the dynamics of a sow farm is presented in contrast with other approaches. To highlight relevant aspects of the model a real application for planni...
199
click to vote
KBSE
2005
IEEE
16 years 3 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
180
click to vote
ISPASS
2007
IEEE
16 years 24 days ago
2007
IEEE
— The design trend towards CMPs has made the simulation of multiprocessor systems a necessity and has also made multiprocessor systems widely available. While a serial multiproce...