Sciweavers

2153 search results - page 238 / 431
» From Requirements Models to Formal Specifications in B
Sort
View
GRC
2007
IEEE
15 years 10 months ago
Perspectives of Granular Computing in Software Engineering
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...
Jianchao Han, Jing Dong
EUROMICRO
2005
IEEE
16 years 3 days ago
A Tool Integration Platform for Multi-Disciplinary Development
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...
Jad El-khoury, Ola Redell, Martin Törngren
CCS
2006
ACM
15 years 10 months ago
Secure information sharing enabled by Trusted Computing and PEI models
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...
Ravi S. Sandhu, Kumar Ranganathan, Xinwen Zhang
KDD
2012
ACM
222views Data Mining» more  KDD 2012»
13 years 9 months ago
Rise and fall patterns of information diffusion: model and implications
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 ...
Yasuko Matsubara, Yasushi Sakurai, B. Aditya Praka...
HASE
1999
IEEE
15 years 10 months ago
Automatic Dependability Analysis for Supporting Design Decisions in UML
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 ...
Andrea Bondavalli, Ivan Mura, István Majzik