2373 search results - page 61 / 475 » On the Theory of Structural Subtyping |
TROB
2002
14 years 9 months ago
2002
This paper describes how decentralized control theory can be used to analyze the control of multiple cooperative robotic vehicles. Models of cooperation are discussed and related t...
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
A precoding strategy for multi-user spectrum sharing over an interference channel is proposed and analyzed from a game-theoretic perspective. The proposed strategy is based on fi...
IFM
2007
Springer
15 years 4 months ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Whereas previous studies have been primarily focused on the structural features of Information Technology governance, this paper describes an exploratory study of IT governance pr...
COMPSAC
2009
IEEE
15 years 2 months ago
2009
IEEE
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...