2752 search results - page 241 / 551 » Rounding to an Integral Program |
208
click to vote
ISORC
2007
IEEE
16 years 2 months ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
190
click to vote
IV
2007
IEEE
16 years 2 months ago
2007
IEEE
A novel asynchronous collaborative visualization system for the chemical sciences has been created as a mash-up between an interactive visualization program and a wiki. The system...
215
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Service Oriented Architecture (SOA) promotes the utilization of available services to develop completely new applications in a context which has not been foreseen as these services...
206
click to vote
CAV
2004
Springer
16 years 1 months ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
207
click to vote
ASM
2003
ASM
16 years 28 days ago
2003
ASM
The question raised in [15] is answered how to naturally dely used forms of recursion by abstract machines. We show that turbo ASMs as defined in [7] allow one to faithfully refl...