2060 search results - page 261 / 412 » The Composition of Event-B Models |
200
click to vote
RP
2009
Springer
16 years 1 months ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
183
click to vote
BTW
2007
Springer
16 years 21 days ago
2007
Springer
: Ontology and schema matching are well established techniques, which have been applied in various integration scenarios, e.g., web service composition and database integration. Co...
175
click to vote
FDL
2006
IEEE
16 years 17 days ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
192
click to vote
IJCNN
2006
IEEE
16 years 16 days ago
2006
IEEE
— Neural networks have been proposed as an ideal cognitive modeling methodology to deal with the symbol grounding problem. More recently, such neural network approaches have been...
191
click to vote
SEW
2006
IEEE
16 years 15 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...