571 search results - page 66 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
TCS
2008
14 years 9 months ago
2008
The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Fir...
ASE
2002
14 years 9 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
JSS
2011
14 years 4 months ago
2011
Due to the complex nature of scientific workflow environments, temporal violations often take place and may severely reduce the timeliness of the execution’s results. To handle ...
EGC
2005
Springer
15 years 3 months ago
2005
Springer
Quantitative Structure Activity/Property Relationship (QSAR/QSPR) model development is a complex and time-consuming procedure involving data gathering and preparation. It plays an ...
MIDDLEWARE
2005
Springer
15 years 3 months ago
2005
Springer
Distributed publish/subscribe systems are naturally suited for processing events in distributed systems. However, support for expressing patterns about disparate events and algorit...