135 search results - page 25 / 27 » Applicability of the BLAST Model Checker: An Industrial Case... |
105
click to vote
IFIP
1998
Springer
15 years 3 months ago
1998
Springer
The flexible integration of a range of disparate IT applications is a key requirement for today's global enterprises. The virtual enterprise, formed by a collection of collab...
SAFECOMP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
108
Voted
ICRA
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— This paper presents a novel methodology for detecting collisions of cylindrically shaped rigid bodies moving in three dimensions. This algorithm uses line geometry and ...
WSC
2008
15 years 2 months ago
2008
In the construction industry, a specialist subcontractor manages a taskforce of single-skilled laborers to work on multiple construction sites, aiming to minimize the total cost a...
115
click to vote
RTCSA
2003
IEEE
15 years 5 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...