2741 search results - page 469 / 549 » Engineering Mathematical Knowledge |
145
Voted
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...
116
Voted
HICSS
2009
IEEE
15 years 9 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
TEI
2009
ACM
15 years 9 months ago
2009
ACM
Today a growing community of DIY-practitioners, artists and designers are using microcontroller-based toolkits to express their concepts for digital artifacts by building them. Ho...
133
click to vote
EDBT
2009
ACM
15 years 9 months ago
2009
ACM
A wealth of information is available only in web pages, patents, publications etc. Extracting information from such sources is challenging, both due to the typically complex langu...
114
Voted
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...