2339 search results - page 202 / 468 » Models and Tools for Mulan Applications |
178
click to vote
3DIM
2003
IEEE
15 years 12 months ago
2003
IEEE
Over the past few years, remarkable increase has occurred in the demand for 3D models for cultural heritage applications. The techniques employed have evolved from surveying and C...
195
Voted
CAISE
2001
Springer
15 years 11 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
160
click to vote
ROMAN
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract—Models that can efficiently, compactly, and semantically represent potential users are important tools for human-robot interaction applications. We model a person as a p...
196
click to vote
SPIN
2007
Springer
16 years 23 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
169
click to vote
FDL
2005
IEEE
16 years 8 days ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...