875 search results - page 126 / 175 » Specification Modules for Methodical System Development |
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
An ever-growing infrastructure, including existing and newly built power plants, as well as a rising environmental awareness in society call for inspection and maintenance systems...
LRE
2006
14 years 9 months ago
2006
A lack of surveillance system infrastructure in the Asia-Pacific region is seen as hindering the global control of rapidly spreading infectious diseases such as the recent avian H5...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
Online Convex Programming (OCP) is a recently developed model of sequential decision-making in the presence of time-varying uncertainty. In this framework, a decisionmaker selects ...
ICRA
2009
IEEE
14 years 7 months ago
2009
IEEE
Our previous paper presented a method for reducing adhesion forces by oscillation and showed the adhesion state can be checked by analyzing the data obtained by laser displacement ...
108
click to vote
UML
2001
Springer
15 years 2 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...