3718 search results - page 439 / 744 » Programming by Integration in Robotics |
178
click to vote
ICFEM
2004
Springer
16 years 19 days ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
170
click to vote
AOSD
2003
ACM
16 years 15 days ago
2003
ACM
From the early days of object-oriented programming, the model-view-controller paradigm has been pursued for a clear design which separates different responsibilities within an in...
167
click to vote
CIA
2000
Springer
15 years 11 months ago
2000
Springer
Recent years have seen dramatic and sustained growth in the amount of genomic data being generated, including in late 1999 the first complete sequence of a human chromosome. The c...
207
click to vote
ICDCS
1997
IEEE
15 years 11 months ago
1997
IEEE
Clusters of networked, off-the-shelf workstations are currently used for computationintensive, parallel applications. However, it is hardly possible to predict the timing behaviou...
201
click to vote
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...