Sciweavers

835 search results - page 51 / 167
» Platforms for agent-oriented software engineering
Sort
View
VLSISP
2010
119views more  VLSISP 2010»
14 years 10 months ago
Hardware Acceleration of HMMER on FPGAs
We propose a new parallelization scheme for the hmmsearch function of the HMMER software, in order to target FPGA technology. hmmsearch is a very compute intensive software for bio...
Steven Derrien, Patrice Quinton
110
Voted
SEW
2007
IEEE
15 years 9 months ago
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
We revisit the automatic tool composition feature of the Electronic Tool Integration platform under the perspective of planning. It turns out that in todays terminology, ETIs temp...
Tiziana Margaria, Bernhard Steffen
97
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
Metadata Support for Safe Component Upgrades
Component platforms play a major role in current distributed information systems. As these systems evolve, components need to be upgraded without breaking the consistency of compo...
Premysl Brada
115
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
The overture initiative integrating tools for VDM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
Peter Gorm Larsen, Nick Battle, Miguel Ferreira, J...
187
Voted
IESA
2009
15 years 1 months ago
Model Driven Service Interoperability through Use of Semantic Annotations
This paper presents an approach for comparing two architectures for ontology-based semantic annotation for service interoperability, the EMPOWER architecture using platform specif...
Arne-Jørgen Berre, Fangning Liu, Jiucheng X...