1356 search results - page 218 / 272 » A variable-free dynamic semantics |
161
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: A large volume of data and information about genes and gene products has been stored in various molecular biology databases. A major challenge for knowledge discovery ...
261
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
148
Voted
ECMDAFA
2010
Springer
15 years 7 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
148
click to vote
ICIW
2009
IEEE
15 years 11 months ago
2009
IEEE
Today’s cross-organizations are increasingly coordinating their capabilities in the quest of dynamically adaptable and thus highly competitive realistic services. Unfortunately,...
135
click to vote
SPIN
2005
Springer
15 years 10 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...