190 search results - page 27 / 38 » Dynamic Control Operators in Type Theory |
TRIDENTCOM
2006
IEEE
14 years 23 days ago
2006
IEEE
: The lack of a unified control plane does not allow current optical networks to dynamically provision new optical paths. The IETF standardization body has proposed the Generalized...
AAAI
1996
13 years 8 months ago
1996
This paper describes the spatial aggregation language and its applications. Spatial aggregation comprises a framework and a mechanism for organizing computations around image-like...
IQ
2001
13 years 8 months ago
2001
: Physical and informational works are strongly interrelated in a business process. This facilitates modeling a business process as an integral part of a closed loop information an...
PPPJ
2003
ACM
14 years 17 hour ago
2003
ACM
The Java system supports the transmission of code via dynamic class loading, and the transmission or storage of data via object serialization. However, Java does not provide any m...
DAMAS
2005
Springer
14 years 9 days ago
2005
Springer
We present a novel cognitive agent architecture and demonstrate its effectiveness in the Sense and Respond Logistics (SRL) domain. Effective applications to support SRL must antic...