1885 search results - page 99 / 377 » Methodology of distributed technological complex system simu... |
ICTAI
2005
IEEE
14 years 2 months ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes how cognitive modeling can be exploited in the design of software agents that support naval training sessions. The architecture, specifications, and embedding...
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...
DEBS
2007
ACM
13 years 11 months ago
2007
ACM
This paper describes an approach to detect unknown event patterns. In this context, an event is not only something that happens, but also something that can be analysed. This task...
CODES
2011
IEEE
12 years 9 months ago
2011
IEEE
The trend towards many-core systems comes with various issues, among them their highly dynamic and non-predictable workloads. Hence, new paradigms for managing resources of many-c...