269 search results - page 35 / 54 » Automating the Generation of Platform Specific Models |
109
click to vote
ESAW
2008
Springer
15 years 1 months ago
2008
Springer
The complexity of engineers tasks leads us to provide means to bring the Adaptive Multi-Agent Systems (AMAS) design to a higher stage of automation and confidence thanks to Model D...
123
click to vote
CL
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
ADVSE
2010
14 years 6 months ago
2010
Abstract. The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logi...
107
click to vote
MABS
2005
Springer
15 years 5 months ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
CADE
2007
Springer
16 years 19 hour ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...