11168 search results - page 1527 / 2234 » Abstract State Processes |
161
click to vote
LADS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This paper describes DCaseLP, a multi-language development environment for Multi-Agent Systems. DCaseLP provides tools and languages for modelling and implementing a MAS ...
189
Voted
LCPC
2007
Springer
16 years 24 days ago
2007
Springer
Massively parallel SIMD array architectures are making their way into embedded processors. In these architectures, a number of identical processing elements having small private st...
196
click to vote
LSSC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Multiple sequence alignment is a key process in today’s biology, and finding a relevant alignment of several sequences is much more challenging than just optimizing so...
145
Voted
MKM
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
157
click to vote
MODELS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...