9412 search results - page 214 / 1883 » An aspect-oriented generative approach |
142
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Expert recommender systems (ERS) are considered a promising technology in knowledge management. However, there are very few studies which evaluated their appropriation in practice...
147
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
We present a tool for automatic generation of packed bitfields and tagged unions for systems-level C, along with automatic, machine checked refinement proofs in Isabelle/HOL. Our a...
167
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Pervasive computing applications are tedious to develop because they combine a number of problems ranging from device heterogeneity, to middleware constraints, to lack of programm...
152
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—The IETF working group Next Steps in Signaling (NSIS) develops signaling protocols for Quality-of-Service (QoS) reservations or dynamic NAT and firewall (NAT/FW) configuration...
162
click to vote
IV
2009
IEEE
16 years 1 months ago
2009
IEEE
Suitable reference marks are an important part of creating an understandable visualization. The reference marks create the frame in which the data is understood, thereby preservin...