4397 search results - page 431 / 880 » Relational Algebra Operations |
168
click to vote
FM
2003
Springer
16 years 4 days ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
168
click to vote
FSR
2003
Springer
16 years 3 days ago
2003
Springer
Dynamic stability is an important issue for vehicles which move heavy loads, turn at speed, or operate on sloped terrain. In many cases, vehicles face more than one of these chall...
165
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
We study the comparison of dynamic semantics (games, dealing with interactions) with static semantics (dealing with results of interactions), in the spirit of Timeless Games [2]. ...
150
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—This paper suggests a new approach for bitstream processing of embedded systems, using a combination of C++ metaprogramming combined with architecture extensions of an customiza...
182
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
A reference software architecture for a domain defines the fundamental components of the domain and the relations between them. Research has shown the benefits of having a referen...