Sciweavers

7213 search results - page 371 / 1443
» Automated model grouping
Sort
View
SIGSOFT
2008
ACM
15 years 5 months ago
Definition and modeling of process using object orientation
Software development processes can be represented as objects because they and the elements that compose them have attributes and operations, can be linked by relationships and hav...
Beatriz Terezinha Borsoi, Jorge Luis Risco Becerra
ASPDAC
2010
ACM
137views Hardware» more  ASPDAC 2010»
15 years 4 months ago
Managing verification error traces with bounded model debugging
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...
Sean Safarpour, Andreas G. Veneris, Farid N. Najm
WWW
2006
ACM
16 years 7 months ago
Position paper: a comparison of two modelling paradigms in the Semantic Web
Classical logics and Datalog-related logics have both been proposed as underlying formalisms for the Semantic Web. Although these two different formalism groups have some commonal...
Peter F. Patel-Schneider, Ian Horrocks
AINA
2004
IEEE
15 years 10 months ago
An Access Control Model Based on Distributed Knowledge Management
The conceptual architecture of the access control system described here is based on automatic distributed acquisition and processing of knowledge about users and devices in comput...
Alexandr Seleznyov, Stephen Hailes
JCIT
2010
144views more  JCIT 2010»
15 years 1 months ago
A Model for Software Selection with Fuzzy Linguistic Information
With respect to multiple attribute decision making problem with triangular fuzzy linguistic information, in which the attribute weights and expert weights take the form of real nu...
Juchi Hou