571 search results - page 82 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
107
click to vote
ARTS
1997
Springer
15 years 1 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
79
Voted
EDOC
2007
IEEE
15 years 1 months ago
2007
IEEE
Enterprise architecture advocates model-based decision-making on enterprise-wide information system issues. In order to provide decisionmaking support, enterprise architecture mode...
EDOC
2009
IEEE
15 years 1 months ago
2009
IEEE
- Poor data in information systems impede the quality of decision-making in many modern organizations. Manual business process activities and application services are never execute...
COORDINATION
2006
Springer
15 years 1 months ago
2006
Springer
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
GRID
2008
Springer
14 years 10 months ago
2008
Springer
Large scale production computing grids introduce new challenges in debugging and troubleshooting. A user that submits a workload consisting of tens of thousands of jobs to a grid ...