527 search results - page 75 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
199
click to vote
FGCS
2007
15 years 6 months ago
2007
Abstract. E-Science Semantic Grids can often be thought of as dynamic collection of semantic subgrids where each subgrid is a collection of modest number of services that assembled...
175
click to vote
ICDCSW
2003
IEEE
15 years 11 months ago
2003
IEEE
It is a challenging task to provide Quality of Service (QoS) control for a shared high-speed downlink packet access (HSDPA) wireless channel. In this paper, we first propose a ne...
183
click to vote
SPAA
2004
ACM
15 years 11 months ago
2004
ACM
Page migration is one of the fundamental subproblems in the framework of data management in networks. It occurs in a distributed network of processors sharing one indivisible memo...
162
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
192
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: RNA structure prediction problem is a computationally complex task, especially with pseudo-knots. The problem is well-studied in existing literature and predominantly ...