877 search results - page 99 / 176 » Model Based Development of Safety-Critical Systems Using Tem... |
JCDL
2011
ACM
12 years 12 months ago
2011
ACM
A pattern is a model or a template used to summarize and describe the behavior (or the trend) of a data having generally some recurrent events. Patterns have received a considerab...
SMA
2009
ACM
14 years 3 months ago
2009
ACM
In this paper, we present a semi-automatic approach to efficiently and robustly recover the characteristic feature curves of a given free-form surface. The technique supports a s...
TASE
2007
IEEE
14 years 3 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
SIGGRAPH
1996
ACM
14 years 1 months ago
1996
ACM
This paper describes a prototype system for surgical planning and prediction of human facial shape after craniofacial and maxillofacial surgery for patients with facial deformitie...
AAMAS
2010
Springer
13 years 9 months ago
2010
Springer
Holonic multiagent systems (HMAS) offers a promising software engineering approach for developing complex open software systems. However the process of building MultiAgent Systems...