3381 search results - page 33 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
123
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
122
click to vote
IEAAIE
2000
Springer
15 years 8 months ago
2000
Springer
It has already been noted that the accurate prediction of societal responses requires the use of a formal model based on some social or cultural taxonomy. One such taxonomic candi...
145
Voted
JNW
2006
15 years 4 months ago
2006
The design of large dependable multiprocessor systems requires quick and precise mechanisms for detecting the faulty nodes. The problem of system-level fault diagnosis is computati...
156
click to vote
IWMM
2010
Springer
15 years 6 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
155
Voted
ER
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...