1022 search results - page 181 / 205 » Specification of Dynamics for Knowledge-Based Systems |
TOPLAS
2002
14 years 11 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
133
click to vote
ICDAR
2011
IEEE
13 years 11 months ago
2011
IEEE
—Libraries in South Asia hold huge collections of valuable printed documents in Urdu and it is of interest to digitize these collections to make them more accessible. The unavail...
151
click to vote
ECRTS
2010
IEEE
15 years 25 days ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
CSB
2004
IEEE
15 years 3 months ago
2004
IEEE
In order to provide a portable and accurate typing system for the unambiguous characterization of pathogenic Escherichia coli isolates to the scientific community, we have constru...
WWW
2007
ACM
16 years 12 days ago
2007
ACM
A key challenge for dynamic Web service selection is that Web services are typically highly configurable and service requesters often have dynamic preferences on service configura...