8094 search results - page 252 / 1619 » Improvements in Formula Generalization |
90
Voted
ECTEL
2009
Springer
15 years 7 months ago
2009
Springer
Reusable adaptation specifications for adaptive behaviour has come to the forefront of adaptive research recently, with EU projects such as GRAPPLE1, and PhD research efforts on de...
106
Voted
MHCI
2009
Springer
15 years 7 months ago
2009
Springer
NFC and RFID technologies have found their way into current mobile phones and research has presented a variety of applications using NFC/RFID tags for interaction between physical...
JCDL
2009
ACM
15 years 7 months ago
2009
ACM
Journals, letters, and other writings are of great value to historians and those who research their own family history; however, it can be difficult to find writings by specific...
110
Voted
IEEEARES
2008
IEEE
15 years 7 months ago
2008
IEEE
Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...
113
Voted
BROADNETS
2007
IEEE
15 years 7 months ago
2007
IEEE
—The emergence of popular video sharing sites such as YouTube has created a tremendous content shift towards timely, medium-sized media together with placing significant demands...