8874 search results - page 248 / 1775 » A New Implementation of Automath |
150
click to vote
FAC
2010
15 years 2 months ago
2010
Code and design smells are recurring design problems in software systems that must be identified to avoid their possible negative consequences on development and maintenance. Conse...
197
click to vote
ICDCS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The networked application environment has motivated the development of multitasking operating systems for sensor networks and other low-power electronic devices, but thei...
161
click to vote
BWCCA
2010
14 years 11 months ago
2010
Abstract--This paper studies the application of an approach to enhance information security awareness amongst employees within middleeastern companies, in effort to improve informa...
253
click to vote
COLING
2010
14 years 11 months ago
2010
In cross-language information retrieval it is often important to align words that are similar in meaning in two corpora written in different languages. Previous research shows tha...
145
click to vote
NFM
2011
14 years 11 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...