2448 search results - page 233 / 490 » The Octahedron Abstract Domain |
160
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that,...
171
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
205
click to vote
DIS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Fuel feeding and inhomogeneity of fuel typically cause process fluctuations in the circulating fluidized bed (CFB) boilers. If control systems fail to compensate the ï¬...
171
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
166
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
In multi-agent system literature, the role concept is getting ngly researched to provide an abstraction to scope beliefs, norms, goals of agents and to shape relationships of the a...