334 search results - page 52 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
126
click to vote
COGSCI
2007
15 years 3 months ago
2007
An expression-induction model was used to simulate the evolution of basic color terms to test Berlin and Kay’s (1969) hypothesis that the typological patterns observed in basic ...
127
click to vote
SC
1990
ACM
15 years 8 months ago
1990
ACM
Loop distribution is an integral part of transforming a sequential program into a parallel one. It is used extensively in parallelization,vectorization, and memory management. For...
145
Voted
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
WSC
2004
15 years 5 months ago
2004
This paper introduces the Stochastic Project Scheduling Simulation (SPSS) system and two additional useful statistical analysis tools. SPSS integrates CPM, PERT, and Discrete Even...
125
click to vote
FMOODS
2006
15 years 5 months ago
2006
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...