4418 search results - page 102 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
130
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—We describe a semantic imitation model of social tagging that integrates formal representations of semantics and a stochastic tag choice process to explain and predict emergent ...
132
click to vote
SIGIR
2002
ACM
15 years 3 months ago
2002
ACM
This paper follows a formal approach to information retrieval based on statistical language models. By introducing some simple reformulations of the basic language modeling approa...
151
click to vote
TII
2010
14 years 11 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
113
click to vote
IASTEDSE
2004
15 years 5 months ago
2004
This paper describes a case study on application of natural language processing in very early stages of the requirements engineering. In our previous work [7] we have shown how na...
152
Voted
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...