2836 search results - page 388 / 568 » Model Checking for Software Architectures |
157
click to vote
UM
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper addresses the problem of capturing rich, longterm personal activity logs of users’ interactions with their workstations, for the purpose of deriving predicti...
174
click to vote
CLUSTER
2003
IEEE
16 years 1 days ago
2003
IEEE
Hmmpfam is a widely used computation-intensive bioinformatics software for sequence classification. The contribution of this paper is the first largely scalable and robust clust...
187
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...
169
click to vote
EUROPAR
2003
Springer
15 years 12 months ago
2003
Springer
The software architecture of distributed systems is about to change due to new requirements of modern mobile devices. New network techniques, like ad-hoc radio communication or pee...
221
click to vote
MKWI
2008
15 years 8 months ago
2008
: Grid computing infrastructures and service-oriented architectures commonly rely on web services as their implementation technology. This technology allows complex workflows to be...