1496 search results - page 157 / 300 » Improving the Modeling of Use Case Relationship |
167
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
141
click to vote
WSC
2007
15 years 8 months ago
2007
Simulation has long been a significant and powerful force for the improvement of manufacturing operations. More recently, it has been used to increase the efficiency, efficacy, an...
191
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
Web recommender systems anticipate the information needs of on-line users and provide them with recommendations to facilitate and personalize their navigation. There are many appro...
194
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
The detection and tracking of three-dimensional human body models has progressed rapidly but successful approaches typically rely on accurate foreground silhouettes obtained using...
149
click to vote
DATE
2006
IEEE
16 years 12 days ago
2006
IEEE
The increasing complexity of embedded systems pushes system designers to higher levels of abstraction. Transaction Level Modeling (TLM) has been proposed to model ation in systems...