2153 search results - page 238 / 431 » From Requirements Models to Formal Specifications in B |
170
click to vote
GRC
2007
IEEE
15 years 10 months ago
2007
IEEE
Granular computing is not only a computing model for computer-centered problem solving, but also a thinking model for human-centered problem solving. Some authors have presented t...
165
click to vote
EUROMICRO
2005
IEEE
16 years 3 days ago
2005
IEEE
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...
172
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
The central goal of secure information sharing is to "share but protect" where the motivation to "protect" is to safeguard the sensitive content from unauthori...
201
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
The recent explosion in the adoption of search engines and new media such as blogs and Twitter have facilitated faster propagation of news and rumors. How quickly does a piece of ...
169
click to vote
HASE
1999
IEEE
15 years 10 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...