1415 search results - page 97 / 283 » Verified systems by composition from verified components |
175
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
133
click to vote
ICONIP
2007
15 years 7 months ago
2007
− This paper proposes an automatic factorization method of the biological signals measured by Fluorescence Correlation Spectroscopy (FCS). Since the signals are composed from sev...
159
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
146
click to vote
HYBRID
2007
Springer
16 years 16 days ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
192
click to vote
ALC
1997
15 years 7 months ago
1997
In the context of the modular and incremental development of complex systems, viewed as interconnections of interacting components, new dimensions and new problems arise in the ca...