2838 search results - page 366 / 568 » Verifying Controlled Components |
115
Voted
EDOC
2003
IEEE
15 years 6 months ago
2003
IEEE
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...
109
Voted
COMPSAC
1997
IEEE
15 years 4 months ago
1997
IEEE
Building a system at the architectural level can be thought of as decomposition into components followed by a series of exercises in matching. Components must be composed with eac...
127
click to vote
CACM
1999
15 years 11 days ago
1999
stractions underlying distributed computing. We attempted to keep our preaims at an abstract and general level. In this column, we make those claims more concrete. More precisely, ...
130
click to vote
ANOR
2011
14 years 7 months ago
2011
A vital task facing government agencies and commercial organizations that report data is to represent the data in a meaningful way and simultaneously to protect the confidentialit...
108
click to vote
LCTRTS
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents Spinach, a new simulator toolset specifically designed to target programmable network interface architectures. Spinach models both system components that are ...