9626 search results - page 1574 / 1926 » Invariant Based Programming |
191
click to vote
IJDET
2010
15 years 4 months ago
2010
: Existing adaptive e-learning methods are supported by student (user) profiling for capturing student characteristics, and course structuring for organizing learning materials acc...
277
click to vote
IGPL
2011
15 years 1 months ago
2011
This paper presents J-MADeM, a multi-modal decision making mechanism to provide agents in a Multi-Agent Systems (MAS) with a market-based model for complex decision problems. J-MA...
211
click to vote
JSA
2010
15 years 1 months ago
2010
During the past few years, embedded digital systems have been requested to provide a huge amount of processing power and functionality. A very likely foreseeable step to pursue th...
213
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
234
click to vote
ICST
2011
IEEE
14 years 10 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...