10625 search results - page 562 / 2125 » Supporting delay-intolerant applications |
193
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
205
click to vote
CRIWG
2009
15 years 8 months ago
2009
Intensive research and development has been conducted in the design and creation of groupware systems for distributed users. While for some activities, these groupware tools are wi...
212
click to vote
FC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Secure computation is a promising approach to business problems in which several parties want to run a joint application and cannot reveal their inputs. Secure computatio...
176
click to vote
CSMR
2007
IEEE
15 years 7 months ago
2007
IEEE
To maintain and understand large applications, it is crucial to know their architecture. The first problem is that unlike classes and packages, architecture is not explicitly rep...
192
click to vote
IJHPCA
2008
15 years 7 months ago
2008
Many Grid applications involve combining computational and data access components into complex workflows. A distinction is generally made between mechanisms to compose components ...