2004 search results - page 95 / 401 » Comparison of Model Checking Tools for Information Systems |
178
click to vote
METRICS
2002
IEEE
15 years 9 months ago
2002
IEEE
Process assessment or process improvement is usually not considered in the context of Web applications, and the differences between Web applications and traditional applications a...
126
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
This paper focuses on the optimization of the navigation through voluminous subsumption hierarchies of topics employed by Portal Catalogs like Netscape Open Directory (ODP). We ad...
140
click to vote
AI
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper overviews our currently in progress agent communication language simulator, called DIAGAL, by describing its use in analyzing and modelling automated conversat...
176
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Continuous time-series sequence matching, specifically, matching a numeric live stream against a set of predefined pattern sequences, is critical for domains ranging from fire spr...
154
click to vote
CIKM
1999
Springer
15 years 9 months ago
1999
Springer
A number of recent technological trends have made data intensive applications such as continuous media audio and video servers a reality. These servers are expected to play an i...