5439 search results - page 824 / 1088 » Patterns: from system design to software testing |
145
click to vote
IASTEDSE
2004
15 years 7 months ago
2004
The integration of distributed, data dependent components requires a data synchronisation model. We consider a class of systems where data-dependent components produce data in dis...
160
click to vote
WICSA
2004
15 years 7 months ago
2004
Over the past decade a number of architecture description languages (ADLs) have been proposed to facilitate modeling and analysis of software architecture. While each claims to ha...
154
click to vote
UTP
2010
15 years 4 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
147
click to vote
ICRA
2006
IEEE
16 years 6 days ago
2006
IEEE
– A mobile in vivo camera robot was developed to provide the ability for a single port biopsy procedure. Such a robot can be inserted into the abdominal cavity through a standard...
226
click to vote
FPGA
2004
ACM
15 years 10 months ago
2004
ACM
Field Programmable Gate Arrays (FPGAs) are an increasingly popular choice of platform for the implementation of cryptographic systems. Until recently, designers using FPGAs had le...