190 search results - page 27 / 38 » Dynamic Control Operators in Type Theory |
104
click to vote
TRIDENTCOM
2006
IEEE
15 years 8 months 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...
124
click to vote
AAAI
1996
15 years 3 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...
111
Voted
IQ
2001
15 years 3 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...
132
click to vote
PPPJ
2003
ACM
15 years 7 months 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...
172
Voted
DAMAS
2005
Springer
15 years 8 months 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...