3729 search results - page 572 / 746 » On Formal Modeling of Agent Computations |
164
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
This paper proposes a model-based technique for lowering the entrance barrier for service providers to register services with a marketplace broker, such that the service is rapidl...
177
click to vote
FOAL
2009
ACM
16 years 1 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
164
click to vote
ISCAS
2007
IEEE
16 years 23 days ago
2007
IEEE
- This paper aims at discussing the implementation of simulation systems for SNN based on analog computation cores (neuromimetic ICs). Such systems are an alternative to completely...
204
click to vote
QEST
2007
IEEE
16 years 23 days ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
159
click to vote
DSOM
2007
Springer
16 years 19 days ago
2007
Springer
This paper deals with the Change Management process within IT Service Management. Change Management includes several activities, some of which need to evaluate the risk exposure as...