1592 search results - page 124 / 319 » The state of the email address |
POPL
2006
ACM
14 years 10 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...
EDBT
2006
ACM
14 years 10 months ago
2006
ACM
Business Intelligence solutions, encompassing technologies such as multi-dimensional data modeling and aggregate query processing, are being applied increasingly to non-traditional...
IEEEARES
2010
IEEE
14 years 5 months ago
2010
IEEE
—Survivability modeling and evaluation have gained increasing importance. Most existing models assume that the distributions for transitions between states are exponential. Howev...
SENSYS
2009
ACM
14 years 5 months ago
2009
ACM
The state of the art congestion control algorithms for wireless sensor networks respond to coarse-grained feedback regarding available capacity in the network with an additive inc...
ICRA
2009
IEEE
14 years 5 months ago
2009
IEEE
— This paper presents a distributed version of our previous work, called SAFDetection, which is a sensor analysisbased fault detection approach that is used to monitor tightlycou...