2153 search results - page 113 / 431 » From Requirements Models to Formal Specifications in B |
ICPR
2000
IEEE
14 years 1 months ago
2000
IEEE
A new concept and algorithm are presented for noniterative robust estimation of piecewise smooth curves of maximal edge strength in small image windows – typically ¢¡£ to...
ASPLOS
2004
ACM
14 years 2 months ago
2004
ACM
Multiple Clock Domain (MCD) processors are a promising future alternative to today’s fully synchronous designs. Dynamic Voltage and Frequency Scaling (DVFS) in an MCD processor ...
JLP
2010
13 years 4 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
JUCS
2010
13 years 4 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
ECIS
2004
13 years 10 months ago
2004
Many Governments are using funding initiatives to encourage businesses, particularly small businesses to adopt e-commerce technology. One currently popular approach in Australia, ...