66 search results - page 10 / 14 » Functional Implementation Specification for a Service-Orient... |
NJC
2006
13 years 8 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
BMCBI
2011
13 years 3 months ago
2011
Background: Time course microarray profiles examine the expression of genes over a time domain. They are necessary in order to determine the complete set of genes that are dynamic...
AISC
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familia...
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
IM
1997
13 years 9 months ago
1997
In this paper we present the initial specification of a system that covers both the control and management planes of network operation, with emphasis on fault, performance, and co...