2881 search results - page 448 / 577 » Model Checking for Programming Languages using Verisoft |
138
click to vote
JAVA
1999
Springer
15 years 9 months ago
1999
Springer
Several Java bindings of the Message Passing Interface standard, MPI, have been developed recently. Message bu ers have usually been restricted to arrays with elements of primitiv...
131
click to vote
IFIP
1994
Springer
15 years 9 months ago
1994
Springer
Business rules are an important element of information systems. The notion business rule encompasses different phenomena; therefore, some classification criteria are presented and...
176
Voted
TLCA
1995
Springer
15 years 8 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
111
Voted
IFIP
2010
Springer
15 years 3 months ago
2010
Springer
In online shopping scenarios, it can be difficult for consumers to process the vast amounts of information available and to make satisfactory buying decisions. Interactive decision...
247
click to vote
PDPTA
2010
15 years 2 months ago
2010
Lattice gas cellular automata (LGCA) models provide a relatively fast means of simulating fluid flow and can give both quantitative and qualitative insights into flow patterns aro...