2060 search results - page 334 / 412 » The Composition of Event-B Models |
128
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
132
click to vote
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...
161
click to vote
SUTC
2006
IEEE
15 years 10 months ago
2006
IEEE
Design aspects and software modelling for ubiquitous real-time camera system are described in this paper. We propose system architecture using a network of inexpensive cameras and...
186
click to vote
COLCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
Using a combination of machine learning probabilistic tools, we have shown that some chemistry students fail to develop productive problem solving strategies through practice alon...
144
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...