4323 search results - page 341 / 865 » Callback Implementations in C |
163
click to vote
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
127
click to vote
HT
2006
ACM
15 years 11 months ago
2006
ACM
Metadata attempts to describe the content, format, purpose and structure of data. Over the past few years, the IEEE-LOM standard has dominated the metadata world in e-learning app...
108
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
166
click to vote
MUM
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents a novel cross-layer design for providing service oriented architecture (SOA) in a mobile ad hoc network (MANET). In the design SOA service discovery is integra...
136
Voted
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Esterel is a concurrent synchronous language for developing reactive systems. As an alternative to the classical software and hardware synthesis paths, the reactive processing app...