2153 search results - page 348 / 431 » From Requirements Models to Formal Specifications in B |
143
click to vote
ADAEUROPE
2001
Springer
15 years 10 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
162
click to vote
HUC
2010
Springer
15 years 6 months ago
2010
Springer
The rapid adoption of mobile devices that are able to capture and transmit a wide variety of sensing modalities (media and location) has enabled a new data collection paradigm - p...
120
click to vote
CCE
2007
15 years 6 months ago
2007
An original dimensionless study of the pure evaporation and precipitation stages of a spray pyrolysis process has been performed. An estimation of the evaporation time is proposed...
166
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
bstractions for Secure Server-Side Scripting Dachuan Yu Ajay Chander Hiroshi Inamura Igor Serikov DoCoMo Communications Laboratories USA 3240 Hillview Avenue Palo Alto, CA 94304 {y...
191
click to vote
GIS
2010
ACM
15 years 1 months ago
2010
ACM
With the prevalence of car navigation systems, indoor navigation systems are increasingly attracting attention in the indoor research area. However, the available models for indoo...