181 search results - page 24 / 37 » Testing Java Components based on Algebraic Specifications |
IC
2004
15 years 1 months ago
2004
Industrial wastes must be classified at least two times on the way from the owner of the waste to the waste disposal facility in order to ensure that waste handling is in conformi...
110
Voted
APLAS
2010
ACM
14 years 12 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...
97
Voted
WADT
1999
Springer
15 years 3 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
130
Voted
FDL
2004
IEEE
15 years 3 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
CVPR
2008
IEEE
15 years 6 months ago
2008
IEEE
Inspired by Weber's Law, this paper proposes a simple, yet very powerful and robust local descriptor, Weber Local Descriptor (WLD). It is based on the fact that human percept...