2232 search results - page 160 / 447 » Formal Modeling and Analysis of Organizations |
172
click to vote
DLOG
2010
15 years 4 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
184
click to vote
IAT
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper introduces a multi-agent system (MAS) approach for modelling social behaviours in children’s play. The children, the dynamics of their play, and the playground are mo...
183
click to vote
WSC
2008
15 years 8 months ago
2008
This paper presents first steps towards the development of a formal model of the research process. We evaluate the use of simulation as a tool for the evaluation of research strat...
166
click to vote
EP
1998
Springer
15 years 10 months ago
1998
Springer
This paper deals with the representation of document models used in the field of document recognition. A novel formalism called generalized n-gram is presented, which is shown to b...
153
click to vote
SAS
2007
Springer
16 years 19 days ago
2007
Springer
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...