4360 search results - page 505 / 872 » Socio-technical systems: From design methods to systems engi... |
188
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
220
click to vote
FASE
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
165
click to vote
LDTA
2010
15 years 7 months ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
169
click to vote
ISORC
2003
IEEE
16 years 4 days ago
2003
IEEE
Time triggered methods provide deterministic behaviour suitable for critical real-time systems. They perform less favourably, however, if the arrival times of some activities are ...
165
click to vote
ICDM
2003
IEEE
16 years 4 days ago
2003
IEEE
Analyzing data to find trends, correlations, and stable patterns is an important problem for many industrial applications. In this paper, we propose a new technique based on paral...