2414 search results - page 405 / 483 » Reasoning Support for OWL-E |
182
click to vote
EDOC
2003
IEEE
16 years 3 days ago
2003
IEEE
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...
165
click to vote
SRDS
2003
IEEE
16 years 2 days ago
2003
IEEE
How will a virus propagate in a real network? Does an epidemic threshold exist for a finite powerlaw graph, or any finite graph? How long does it take to disinfect a network giv...
193
click to vote
ICAIL
2003
ACM
16 years 1 days ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
178
click to vote
PLDI
2003
ACM
16 years 1 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
192
click to vote
BIRTHDAY
2003
Springer
16 years 1 days ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...