5423 search results - page 913 / 1085 » Denial-of-service in automation systems |
169
click to vote
VMCAI
2005
Springer
16 years 1 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
185
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The main barriers to the level of electronic data interchange required to seamlessly integrate services offered by legacy systems in an Internet environment are the need for appli...
159
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
Workflow systems provide automated support that enables organizations to efficiently and reliably move important data through their routine business processes. For some organizati...
196
click to vote
ACSW
2007
15 years 8 months ago
2007
An infrastructure for remote instrument access, data acquisition and data management is being developed for e-Research. The Common Instrument Middleware Architecture (CIMA) is bei...
208
click to vote
INTEGRATION
2008
15 years 6 months ago
2008
With the growing complexity in consumer embedded products, new tendencies forecast heterogeneous Multi-Processor SystemsOn-Chip (MPSoCs) consisting of complex integrated component...