1134 search results - page 208 / 227 » Towards a Theory of Information Systems: The FRISCO Approach |
PERVASIVE
2005
Springer
14 years 1 months ago
2005
Springer
The retail store environment is a challenging application area for Pervasive Computing technologies. It has demanding base conditions due to the number and complexity of the interd...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
Compressive Sensing is an emerging field based on the revelation that a small group of non-adaptive linear projections of a compressible signal contains enough information for rec...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...
MOBISYS
2007
ACM
14 years 7 months ago
2007
ACM
Location-awareness is an important requirement for many mobile wireless applications today. When GPS is not applicable because of the required precision and/or the resource constr...
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...