8627 search results - page 1555 / 1726 » Software Engineering Using RATionale |
179
click to vote
AOSE
2005
Springer
16 years 1 days ago
2005
Springer
Many approaches and tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program co...
179
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
146
click to vote
EUROPAR
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...
182
click to vote
FOSSACS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
154
click to vote
FOSSACS
2005
Springer
16 years 1 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...