1420 search results - page 29 / 284 » A combined functional and object-oriented approach to softwa... |
B
2007
Springer
14 years 19 days ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
VLDB
2005
ACM
14 years 8 months ago
2005
ACM
We describe a data-centric software architecture for bioinformatics workflows and a rule-based workflow enactment system that uses declarative specifications of data dependences be...
ESAW
2000
Springer
14 years 7 days ago
2000
Springer
We present a first approach that combines the mobile agent and the compositional paradigms into a new agent-based compositional model. The aim of this work is to explore the capabi...
CCE
2011
13 years 3 months ago
2011
This contribution deals with the optimization of the design of reactive distillation columns by using a memetic algorithm (MA) which is a combination of an evolution strategy (ES)...
LCTRTS
2007
Springer
14 years 2 months ago
2007
Springer
Industry’s demand for flexible embedded solutions providing high performance and short time-to-market has led to the development of configurable and extensible processors. The...