15635 search results - page 472 / 3127 » Modelling and Design of VAML |
157
click to vote
ACSAC
2005
IEEE
16 years 13 days ago
2005
IEEE
The Bell-La Padula security model produced conceptual tools for the analysis and design of secure computer systems. Together with its sibling engineering initiatives, it identifi...
150
click to vote
ISVLSI
2005
IEEE
16 years 12 days ago
2005
IEEE
Mesh interconnect can be efficiently utilized while tree networks encourage the short routing distances. In this paper, we present the property analysis of a cluster-based interc...
172
Voted
LICS
2005
IEEE
16 years 12 days ago
2005
IEEE
We propose L-nets as a game model of concurrent interaction. L-nets, which correspond to strategies (in Games Semantics) or designs (in Ludics), are graphs rather than trees; the ...
172
click to vote
HICSS
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper examines business, design, and product development aspects of software business models. Contexts of small and large companies for creating software innovations are also...
150
click to vote
ICRA
2003
IEEE
16 years 3 days ago
2003
IEEE
We propose a systematic modelling of the nonholonomic mobile manipulators built from a robotic arm mounted on a wheeled mobile platform. It extends the fundamental notions of nonh...