5216 search results - page 517 / 1044 » Planning as Model Checking |
132
click to vote
DAC
2006
ACM
16 years 26 days ago
2006
ACM
The fabless model was traditionally enabled through clean interfaces – both in technical and business terms – between foundries and fabless semiconductor companies. However, w...
147
click to vote
ICEBE
2005
IEEE
16 years 15 days ago
2005
IEEE
Optimization of execution plans in information mediators is a critical task, specially when sources are remote and semistructured, as in the case of transactional web sites. Lack ...
171
click to vote
ISCAS
2005
IEEE
16 years 14 days ago
2005
IEEE
—Distribution system operating environments are changing rapidly. For example, with the steady and significant increase in dispersed generation expected, planning and operating a...
175
click to vote
ERLANG
2004
ACM
16 years 9 days ago
2004
ACM
Multi-agent systems are a kind of concurrent distributed systems. In this work, some guidelines on how to create multi-agent systems using Erlang are presented. The modelled syste...
181
click to vote
SIGCPR
2003
ACM
16 years 4 days ago
2003
ACM
Enterprise Resource Planning (ERP) systems are large, complex integrated software applications that often take years to implement. This study examined a major determinant of succe...