Sciweavers

2806 search results - page 108 / 562
» BML and Related Tools
Sort
View
ASM
2010
ASM
15 years 7 months ago
Matelas: A Predicate Calculus Common Formal Definition for Social Networking
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
Néstor Cataño, Camilo Rueda
WOA
2000
15 years 8 months ago
Agent Architecture for Score-based Web Local Search
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...
Michele Angelaccio, Berta Buttarazzi
IWPC
2002
IEEE
15 years 11 months ago
Fused Data-Centric Visualizations for Software Evolution Environments
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...
Jens H. Jahnke, Hausi A. Müller, Andrew Walen...
AAAI
1998
15 years 8 months ago
A Script-Based Approach to Modifying Knowledge-Based Systems
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...
Marcelo Tallis
RSCTC
2004
Springer
215views Fuzzy Logic» more  RSCTC 2004»
16 years 6 days ago
On the Evolution of Rough Set Exploration System
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...
Jan G. Bazan, Marcin S. Szczuka, Arkadiusz Wojna, ...