10406 search results - page 1968 / 2082 » Using RDF to Model the Structure and Process of Systems |
152
Voted
UAIS
2008
15 years 3 months ago
2008
Abstract Research in the field of sign language recognition has made significant advances in recent years. The present achievements provide the basis for future applications with t...
170
click to vote
FORTE
1994
15 years 5 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
105
Voted
VR
2008
IEEE
15 years 10 months ago
2008
IEEE
The automotive industry uses physical seating bucks, which are minimal mockups of a car interior, to assess various aspects of the planned interior early in the development proces...
135
Voted
IEEESCC
2007
IEEE
15 years 10 months ago
2007
IEEE
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
174
click to vote
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
Since the deployment of real-time sensitive applications in the Internet, the research community has been struggling to leverage the IP best-effort networks for providing QoS assu...