1541 search results - page 298 / 309 » Tools and Techniques for Model Checking Networked Programs |
104
click to vote
GECCO
2004
Springer
15 years 5 months ago
2004
Springer
Artificial Immune Systems (AISs) are biologically inspired problem solvers that have been used successfully as intrusion detection systems (IDSs). This paper describes how the des...
CODES
2003
IEEE
15 years 5 months ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
107
click to vote
ICCSA
2010
Springer
15 years 5 months ago
2010
Springer
In the so-called Information-Explosion Era, astronomical amount of information is ubiquitously produced and digitally stored. It is getting more and more convenient for cooperative...
88
Voted
BILDMED
2006
15 years 1 months ago
2006
Developing barley grains are to be visualised by a 4-D model, in which spatiotemporal experimental data can be integrated. The most crucial task lies in the automation of the exten...
IAT
2008
IEEE
15 years 15 days ago
2008
IEEE
Scaffolding techniques allow human instructors to support novice learners in critical early stages, and to remove that support as expertise grows. This paper describes nAble, an a...