984 search results - page 46 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
275
Voted
HLK
2003
IEEE
16 years 25 days ago
2003
IEEE
It’s common experience for human vision to perceive full 3D shape and scene from a single 2D image with the occluded parts “filled-in” by prior visual knowledge. In this pa...
201
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
193
click to vote
FM
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
202
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Trust management is a form of access control that uses delegation to achieve scalability beyond a single organization or federation. However, delegation can be difficult to contr...
173
Voted
SPIN
2004
Springer
16 years 27 days ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...