1458 search results - page 105 / 292 » System Model-Based Definition of Modeling Language Semantics |
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...
SAC
2005
ACM
15 years 3 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
107
click to vote
CSFW
2012
IEEE
13 years 9 days ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
AAAI
2011
13 years 10 months ago
2011
This paper describes a new model for understanding natural language commands given to autonomous systems that perform navigation and mobile manipulation in semi-structured environ...
ECSQARU
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...