1077 search results - page 64 / 216 » Management of Evolving Specifications using Category Theory |
CHIMIT
2008
ACM
13 years 10 months ago
2008
ACM
Policy-based automation is emerging as a viable approach to IT systems management, codifying high-level business goals into executable specifications for governing IT operations. ...
GIS
2008
ACM
14 years 9 months ago
2008
ACM
The application domain of intelligent transportation is plagued by a shortage of data sources that adequately assess traffic situations. Typically, to provide routing and navigati...
KDD
2008
ACM
14 years 8 months ago
2008
ACM
The input to an algorithm that learns a binary classifier normally consists of two sets of examples, where one set consists of positive examples of the concept to be learned, and ...
CIKM
2006
Springer
13 years 11 months ago
2006
Springer
We discuss information retrieval methods that aim at serving a diverse stream of user queries such as those submitted to commercial search engines. We propose methods that emphasi...
NGC
2000
Springer
13 years 11 months ago
2000
Springer
We examine the use of a hop-limit constraint with techniques to provide survivability for connection-oriented ATM group communications. A hop-limit constraint is an approach that ...