2404 search results - page 98 / 481 » Postmodernism and Control Engineering |
152
click to vote
DGO
2007
15 years 7 months ago
2007
To keep a network of enterprises sustainable, inter-organizational control measures are needed to detect or prevent opportunistic behaviour of network participants. We present a m...
162
click to vote
ICRA
2009
IEEE
16 years 29 days ago
2009
IEEE
² Similar to humans and primates, artificial creatures like robots are limited in terms of allocation of their resources to huge sensory and perceptual information. Serial process...
174
click to vote
FSEN
2009
Springer
16 years 26 days ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
193
click to vote
ICSEA
2007
IEEE
16 years 16 days ago
2007
IEEE
— With the mutual consent to use WSDL (Web Service Description Language) to describe web service interfaces and SOAP as the basic communication protocol, the cornerstone for web ...
194
click to vote
IFM
2007
Springer
16 years 14 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...