2004 search results - page 253 / 401 » Comparison of Model Checking Tools for Information Systems |
158
click to vote
CAISE
2000
Springer
15 years 9 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
113
click to vote
ISICT
2003
15 years 6 months ago
2003
Project MEMORIAL [3] is aimed at developing a new technology for creating Web based information systems using interactive electronic documents extracted from their paper originals...
137
click to vote
CHI
1995
ACM
15 years 8 months ago
1995
ACM
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech and direct manipulation. The flexibility they offer results in an incr...
149
click to vote
CISS
2008
IEEE
15 years 11 months ago
2008
IEEE
—Beyond signal processing applications, frames are also powerful tools for modeling the sensing and information processing of many biological and man-made systems that exhibit in...
146
click to vote
ETFA
2006
IEEE
15 years 8 months ago
2006
IEEE
Wireless sensor networks (WSN) consist of small self-contained devices with computational, sensing and wireless communication capabilities. They allow flexible, powerful, tetherles...