12774 search results - page 191 / 2555 » A Framework for Proof Systems |
149
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— Quickly adapting the manufacturing system to the production of new or modified products is critical for manufacturers in order to stay competitive. For flexible manufacturing...
190
click to vote
AI
2011
Springer
14 years 11 months ago
2011
Springer
The ability to achieve one’s goals is a defining characteristic of intelligent behaviour. A great many existing theories, systems and research programmes address the problems a...
151
click to vote
WER
2005
Springer
15 years 10 months ago
2005
Springer
How business and software analysts explore, document, and negotiate requirements for enterprise systems is critical to the benefits their organizations will eventually derive. In t...
148
click to vote
IUI
1999
ACM
15 years 9 months ago
1999
ACM
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
134
click to vote
WSC
2008
15 years 7 months ago
2008
An SOA-compliant DEVS (SOAD) simulation framework is proposed for modeling service-oriented computing systems. A set of novel abstract component models that conform to the SOA pri...