Sciweavers

2549 search results - page 43 / 510
» Toward a complexity theory of information systems developmen...
Sort
View
LATA
2010
Springer
14 years 5 months ago
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
Neda Saeedloei and Gopal Gupta
WKDD
2008
CPS
97views Data Mining» more  WKDD 2008»
14 years 2 months ago
Knowledge Management in the Ubiquitous Software Development
The continuous technical advances have lead to the proliferation of very small and very cheap microprocessors, equipped with sensors and capacity of wireless communication. The in...
José Miguel Rubio León
HICSS
2008
IEEE
156views Biometrics» more  HICSS 2008»
14 years 2 months ago
Mobile Advertising in Different Stages of Development: A Cross-Country Comparison of Consumer Attitudes
Mobile technologies imply many opportunities for marketing, in particular a direct communication with consumers without time or location barriers. However, some aspects of mobile ...
Parissa Haghirian, Maria Madlberger, Akihiro Inoue
ISADS
2003
IEEE
14 years 1 months ago
An Approach to Developing Information Dissemination Service for Ubiquitous Computing Applications
In many ubiquitous computing (ubicomp) applications, such as smart classrooms, hospitals, construction sites, stadiums, shopping malls, emergency services, law enforcement, conven...
Stephen S. Yau, Sheikh Iqbal Ahamed
PTS
2007
120views Hardware» more  PTS 2007»
13 years 9 months ago
Towards Systematic Signature Testing
: The success and the acceptance of intrusion detection systems essentially depend on the accuracy of their analysis. Inaccurate signatures strongly trigger false alarms. In practi...
Sebastian Schmerl, Hartmut König