15635 search results - page 58 / 3127 » A Designing Model of XML-Dataweb |
ICWE
2005
Springer
14 years 3 months ago
2005
Springer
There is an apparent need for specifying the integration of multiple knowledge sources during the design of Web Information Systems (WIS) where the actual data is often retrieved f...
ACMDIS
2000
ACM
14 years 2 months ago
2000
ACM
This paper presents an approach to designing interactive systems that enables critical performance parameters to be identified and models of performance to be constructed. The met...
DATE
2005
IEEE
13 years 12 months ago
2005
IEEE
Operating frequency of a pipelined circuit is determined by the delay of the slowest pipeline stage. However, under statistical delay variation in sub-100nm technology regime, the...
SIGSOFT
2003
ACM
14 years 10 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
ACSC
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...