1675 search results - page 211 / 335 » Compositional Model-Based Design |
99
Voted
PRESENCE
2000
15 years 2 months ago
2000
We describe a tool enabling non-professionals to create digital layouts for large-scale graphical virtual environments. The design tool is based on "elements of the city imag...
132
Voted
TSMC
2002
15 years 1 months ago
2002
Abstract--This paper presents a new nonlinear adaptive tracking controller for a class of general time-variant nonlinear systems. The control system consists of an inner loop and a...
123
Voted
SPIN
2010
Springer
15 years 17 days ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
152
Voted
CASCON
2010
15 years 7 days ago
2010
Abstract. The service-oriented architecture (SOA) is an emerging software engineering paradigm for developing distributed enterprise applications. In this paradigm, Web services ar...
133
Voted
FASE
2010
Springer
15 years 6 days ago
2010
Springer
Role-based access control (RBAC) is a popular access control model for enterprise systems due to its economic benefit and scalability. There are many RBAC features available, each ...