12774 search results - page 188 / 2555 » A Framework for Proof Systems |
126
click to vote
APSEC
2000
IEEE
15 years 9 months ago
2000
IEEE
Workflow management systems are increasingly used to assist the automation of business processes that involve the exchange of documents, information, or task execution results. Re...
129
click to vote
DNA
2006
Springer
15 years 6 months ago
2006
Springer
Recent successes in building large scale DNA nanostructures and in constructing DNA nanomechanical devices have inspired scientists to design more complex nanoscale systems. The de...
168
click to vote
MAGS
2006
15 years 4 months ago
2006
Multi-Agent Systems (MAS) have become increasingly mature, but this maturity does not make the traditional Object Oriented (OO) approaches obsolete. On the contrary, building MAS i...
159
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Performing experimental evaluation of fault tolerant distributed systems is a complex and tedious task, and automating as much as possible of the execution and evaluation of exper...
156
click to vote
CISIS
2010
IEEE
15 years 8 months ago
2010
IEEE
— Production automation systems consist of many entities (like robots and shuttles) that interact in complex ways to provide the overall system functionality like product assembl...