4418 search results - page 151 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
164
Voted
FLAIRS
2008
15 years 6 months ago
2008
Storyboards are commonly known as rows of pictures, which exemplarily sketch scenes in performing arts. The rows specify the sequence of scenes. The scenes themselves are illustra...
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The control of small-scale helicopter is a MIMO problem. To use of classical control approach to formally solve a MIMO problem, one needs to come up with multidimensional Root Loc...
124
click to vote
EGC
2005
Springer
15 years 10 months ago
2005
Springer
Grid systems offer high computing capabilities that are used in many scientific research fields and thus many applications are submitted to these powerful systems. Parallel applica...
144
click to vote
KDD
2007
ACM
16 years 5 months ago
2007
ACM
We now have incrementally-grown databases of text documents ranging back for over a decade in areas ranging from personal email, to news-articles and conference proceedings. While...
158
Voted
RE
2010
Springer
14 years 11 months ago
2010
Springer
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...