5423 search results - page 858 / 1085 » Denial-of-service in automation systems |
208
click to vote
ICLP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
181
click to vote
ICMLC
2005
Springer
16 years 4 days ago
2005
Springer
A novel method of Interactive Evolutionary Computation (IEC) for the design of microelectromechanical systems (MEMS) is presented. As the main limitation of IEC is human fatigue, a...
183
click to vote
ISSADS
2005
Springer
16 years 4 days ago
2005
Springer
Workflow is the key technology for business process automation, while distributed workflow is the solution to deal with the decentralized nature of workflow applications and the pe...
197
click to vote
ISVC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Virtual agents are used to interact with humans in a myriad of applications. However, the agents often lack the believability necessary to maximize their effectiveness. T...
168
click to vote
JSSPP
2005
Springer
16 years 4 days ago
2005
Springer
As grid computing becomes more commonplace, so does the importance of coscheduling these geographically distributed resourcest. Negotiating resource management and scheduling deci...