1221 search results - page 158 / 245 » A Comparison of Two Programming Models for Pervasive Computi... |
150
click to vote
VMCAI
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
163
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
151
click to vote
WCNC
2008
IEEE
16 years 16 days ago
2008
IEEE
Abstract—We tackle the problem of providing minimum datarate guarantees for different classes-of-service in an OFDMAbased network, while obtaining a high system throughput. Our a...
156
click to vote
JPDC
2008
15 years 6 months ago
2008
This research investigates the problem of robust static resource allocation for distributed computing systems operating under imposed Quality of Service (QoS) constraints. Often, ...
154
click to vote
BIOCOMP
2008
15 years 7 months ago
2008
- Here proposed apriori method for identification of protein flexibility relies on one end-state conformation of the protein. This method has comparative advantage over many others...