3954 search results - page 115 / 791 » Image-based Model Completion |
141
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Over the last years the telecommunications industry has shifted from technology driven and incumbent operators to business driven service providers. There is a need for mature, c...
173
Voted
AI
2011
Springer
15 years 2 days ago
2011
Springer
The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting point for the development of answer set programmi...
138
Voted
ICEBE
2005
IEEE
15 years 10 months ago
2005
IEEE
Recently a new model agent-based e-commerce system was proposed, in which rule-based mechanism representation was combined with lightweight modular mobile agent design. Furthermor...
137
click to vote
ICECCS
2005
IEEE
15 years 10 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
135
Voted
ACSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
In [1], we proposed a model for policy-based intrusion detection, based on information flow control. In the present paper, we show its applicability and effectiveness on a stand...