1075 search results - page 135 / 215 » On Singular Interval Systems |
136
click to vote
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
140
Voted
CC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...
116
click to vote
LCPC
1998
Springer
15 years 8 months ago
1998
Springer
: In this paper, theoretical aspects to demonstrate the accuracy of the Interval Test (the I test and the direction vector I test) to be applied for resolving the problem stated ab...
145
click to vote
ICDE
1994
IEEE
15 years 8 months ago
1994
IEEE
In applications like nancial trading, scheduling, manufacturing and process control, time based predicates in queries and rules are very important. There is also a need to de ne ...
138
click to vote
FTDCS
2004
IEEE
15 years 8 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...