2153 search results - page 304 / 431 » From Requirements Models to Formal Specifications in B |
164
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Fuzzy Logic Systems are widely recognized to be successful at modelling uncertainty in a large variety of applications. While recently interval type-2 fuzzy logic has been credited...
177
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
For extracting the characteristics a specific geographic entity, and notably a place, we propose to use dynamic Extreme Tagging Systems in combination with the classic approach of...
161
click to vote
WSC
1998
15 years 7 months ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...
156
click to vote
COLCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
The need for collaboration and information sharing has been recently growing dramatically with the convergence of outsourcing and offshoring, the increasing need to cut costs thro...
153
click to vote
WEBI
2007
Springer
16 years 14 days ago
2007
Springer
The paper develops a novel computational framework for predicting communication flow in social networks based on several contextual features. The problem is important because pred...