1175 search results - page 192 / 235 » Abstract computability and algebraic specification |
TCSV
2010
13 years 3 months ago
2010
Abstract--The rate control problem has been extensively studied in parallel to the development of the different video coding standards. The bit allocation via Cauchy-density-based ...
ECOOPW
1998
Springer
14 years 1 months ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...
HYBRID
1998
Springer
14 years 1 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
CMSB
2006
Springer
14 years 16 days ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
ERSHOV
2006
Springer
14 years 14 days ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...