885 search results - page 70 / 177 » A Software Architecture for Industrial Automation |
175
click to vote
NETWORKING
2008
15 years 7 months ago
2008
In the highly dynamic and unpredictable environment of MANETs, cross-layer design is receiving growing interest but lacks experimental validation tools. This paper presents XIAN (C...
162
click to vote
ISORC
2005
IEEE
15 years 12 months ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. The DECOS architec...
160
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
150
click to vote
ACSW
2004
15 years 7 months ago
2004
This paper describes the content and delivery of a software internationalisation subject (ITN677) that was developed for Master of Information Technology (MIT) students in the Fac...
178
click to vote
VLSID
2003
IEEE
16 years 6 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...