21430 search results - page 334 / 4286 » Abstract Effective Models |
206
click to vote
ICSOC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The effectiveness of service oriented computing relies on the trustworthiness of sharing of data between services. We advocate a semi-automated approach for information d...
150
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- This paper demonstrates the effectiveness of simple control-theoretic tools in generating simulation-guided experiments on a synthetic in vitro oscillator. A theoretical...
231
click to vote
ESE
2011
14 years 6 months ago
2011
Abstract— This article analyzes experiment results regarding subjective perception issues. Software quality models, since the first publications on this subject, propose a prescr...
194
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
139
click to vote
OWLED
2007
15 years 8 months ago
2007
Abstract. This paper presents a simple data model for the representa