7690 search results - page 1370 / 1538 » On the semantics of informational independence |
176
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
195
click to vote
IJBRA
2010
15 years 5 months ago
2010
—We aim to determine the biological relevance of genes identified through microarray-mediated transcriptional profiling of Xenopus sensory organs and brain tissue. Genetic data...
171
click to vote
JIDM
2010
15 years 5 months ago
2010
Data Warehouse (DW), On-Line Analytical Processing (OLAP) and Geographical Information System (GIS) are tools for providing decision-making support. Much research is aimed at inte...
208
click to vote
JOT
2010
15 years 5 months ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
180
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...