9425 search results - page 417 / 1885 » Some Notes on Models and Modelling |
119
click to vote
SYNASC
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
140
click to vote
WISE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
121
click to vote
MSR
2005
ACM
15 years 10 months ago
2005
ACM
Source Control Repositories are used in most software projects to store revisions to source code files. These repositories operate at the file level and support multiple users. ...
136
click to vote
AIME
2005
Springer
15 years 10 months ago
2005
Springer
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...
139
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...