930 search results - page 36 / 186 » Integrating dialog modelling and application development |
PERCOM
2008
ACM
13 years 10 months ago
2008
ACM
This paper presents an infrastructure for developing problem-based pervasive learning environments. Building such environments necessitates having many autonomous components deali...
ISQED
2005
IEEE
14 years 3 months ago
2005
IEEE
The purpose of the paper is to introduce a new failure rate-based methodology for reliability simulation of deep submicron CMOS integrated circuits. Firstly, two of the state-of-t...
FMICS
2010
Springer
13 years 10 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
ACMICEC
2004
ACM
14 years 3 months ago
2004
ACM
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
ICECCS
2009
IEEE
14 years 4 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...