1940 search results - page 211 / 388 » Dependable Software: An Oxymoron |
160
click to vote
IWFM
1998
15 years 7 months ago
1998
Models of software systems are built in Z and VDM using partial functions between sets and certain operations on these partial functions : extension ( ), restriction ( ), removal ...
155
click to vote
CISIS
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a web system architecture using ontologies to improve the behavior of the system from the performance viewpoint. Since web system performance indexes depend on state an...
169
click to vote
CC
2008
Springer
15 years 6 months ago
2008
Springer
There exists a positive constant < 1 such that for any function T(n) n and for any problem L BPTIME(T(n)), there exists a deterministic algorithm running in poly(T(n)) time w...
151
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Trace or chromatogram files (raw data) are produced by automatic nucleic acid sequencing equipment or sequencers. Each file contains information which can be interpret...
203
click to vote
COMSIS
2007
15 years 6 months ago
2007
Ambient Intelligence aims to enhance the way people interact with their environment to promote safety and to enrich their lives. A Smart Home is one such system but the idea extend...