10038 search results - page 613 / 2008 » Model Checking for Managers |
212
Voted
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract: For cost-effective realization of sizable realtime distributed computing application systems, significant advances in resource allocation are in critical needs. An advanc...
204
Voted
SAINT
2008
IEEE
16 years 1 months ago
2008
IEEE
Object replication and cache consistency have been one of major design issues in the recent Internet applications. In this paper, we forcus on accuracy-aware applications (i.e., s...
188
Voted
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, a cooperative transmission design for a multi-node wireless cluster network is presented. It is assumed that the nodes operate in half-duplex mode and that channe...
154
click to vote
BPM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, e...
188
Voted
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a Java framework based on separation of concerns and code generation concepts that facilitates development of concurrency and I/O in servers. In this approach,...