1838 search results - page 177 / 368 » Process modelling: the deontic way |
199
click to vote
SIGSOFT
2003
ACM
16 years 7 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...
179
click to vote
PDPTA
2008
15 years 7 months ago
2008
Web caches play an important role in improving the surfing experience of Web clients and reducing the network traffic seen by Web servers. Accurate analytical models of Web caches ...
152
click to vote
ECMDAFA
2007
Springer
16 years 19 days ago
2007
Springer
Although there are a large number of academic and industrial model transformation frameworks available, allowing specification, implementation, maintenance and documentation of mod...
181
click to vote
SRDS
2006
IEEE
16 years 14 days ago
2006
IEEE
Failure models characterise the expected component failures in fault-tolerant computing. In the context of distributed systems, a failure model usually consists of two parts: a fu...
168
click to vote
CIKM
2005
Springer
16 years 1 hour ago
2005
Springer
Language Modeling (LM) has been successfully applied to Information Retrieval (IR). However, most of the existing LM approaches only rely on term occurrences in documents, queries...