135 search results - page 11 / 27 » Applicability of the BLAST Model Checker: An Industrial Case... |
JDCTA
2008
14 years 11 months ago
2008
Urbanization and industrialization with minimal focus on environmental pollution has resulted in rapid degradation of natural environment. A fresh look at the pollution control st...
92
Voted
IROS
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— In this paper we present a case study of cooperation of a strongly heterogeneous robot team, composed of a highly articulated humanoid robot and a wheeled robot with la...
108
click to vote
ICWE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Conceptual modelling is a promising approach for Web application development, thanks to innovative CASE tools that can transform high-level specifications into executabl...
TACAS
1998
Springer
15 years 3 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
74
Voted
ECIS
2001
15 years 1 months ago
2001
The launch of B2B exchanges in brick and mortar industries has inspired the study of the potential impacts on business models of this shift from offline into online trade. Among m...