1073 search results - page 130 / 215 » Formal Program Development with Approximations |
119
click to vote
CHIMIT
2009
ACM
15 years 8 months ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
122
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
We introduce the All-Termination(T) problem: given a termination solver, T, and a program (a set of functions), find every set of formal arguments whose consideration is sufficie...
179
click to vote
GPC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
128
Voted
ISORC
2000
IEEE
15 years 6 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
122
click to vote
DBPL
1993
Springer
15 years 6 months ago
1993
Springer
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expression...