3432 search results - page 124 / 687 » Model Development in the UML-based Specification Environment... |
257
click to vote
TOPNOC
2010
15 years 14 days ago
2010
Abstract. Contemporary workflow management systems offer workitems to users through specific work-lists. Users select the work-items they will perform without having a specific sch...
227
click to vote
CHARME
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
212
click to vote
TASLP
2010
15 years 15 days ago
2010
Abstract-- In many research fields of engineering and acoustics, the image-source model represents one of the most popular tools for the simulation of sound fields in virtual rever...
148
click to vote
EMISA
2005
Springer
15 years 11 months ago
2005
Springer
Stable component models are an essential prerequisite for developing customer-individual business applications. Thereby the information for the identification and specification of ...
195
click to vote
SMA
2003
ACM
15 years 11 months ago
2003
ACM
Soft tissue deformation based on tensegric modeling is proposed. This modeling is especially applicable for human females to reform/alter their body shape using tailor-made underg...