2806 search results - page 108 / 562 » BML and Related Tools |
220
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
168
click to vote
WOA
2000
15 years 8 months ago
2000
Big changes are taking place in the area of information supply and demand on Internet. The first big change, which took place quite a while ago, is related to the type of informat...
189
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
During software evolution, several different facets of the system need to be related to one another at multiple levbstraction. Current software evolution tools have limited capabi...
162
click to vote
AAAI
1998
15 years 8 months ago
1998
Modifyingknowledge-based systems is a complexactivity. One of its di culties is that several related portions of the system might have to be changed in order to maintain the coher...
169
click to vote
RSCTC
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present the next version (ver. 2.1) of the Rough Set Exploration System – a software tool featuring a library of methods and a graphical user interface supporting va...