15155 search results - page 2500 / 3031 » System Software |
184
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
We describe here a framework dedicated to studies and experimentations upon the nature of the relationships between the rational reasoning process of an artificial agent and its ps...
143
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
184
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
A UML based metamodel for Bunge-Wand-Weber (BWW) ontology is presented. BWW ontology is a generic framework for analysis and conceptualization of real world objects. It includes c...
191
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
: Malicious users try to compromise systems using new techniques. One of the recent techniques used by the attacker is to perform complex distributed attacks such as denial of serv...
168
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Programs to solve so-called constraint problems are complex pieces of software which require many design decisions to be made more or less arbitrarily by the implementer. These dec...