2836 search results - page 537 / 568 » Model Checking for Software Architectures |
136
Voted
BALT
2008
15 years 4 months ago
2008
Biomedical research on human subjects often requires a large amount of data to be collected by personal interviews, Internet based questionnaires, lab measurements or by extracting...
221
Voted
ISLPED
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we take the idea of application-level processing on disks to one level further, and focus on an architecture, called Cluster of Active Disks (CAD), where the storag...
161
Voted
ICSOC
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we present an Open Grid Services Architecture (OGSA)-based decentralized allocation enforcement system, developed with an emphasis on a consistent data model and ea...
121
Voted
DAC
1998
ACM
16 years 3 months ago
1998
ACM
An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these e...
103
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
In this paper, we present a flexible accelerator designed for networking applications. The accelerator can be utilized efficiently by a variety of Network Processor designs. Most ...