4418 search results - page 124 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
138
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
112
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
Complex fuzzy systems exist in many applications and effective visualisation is required to gain insights in the nature and working of these systems, especially in the implication ...
131
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
The realization of the Semantic Web requires the widespread availability of semantic annotations for existing and new documents on the Web. Semantic annotations are to tag ontolog...
131
click to vote
SACMAT
2010
ACM
15 years 4 months ago
2010
ACM
There have been many approaches proposed for role mining. However, the problems solved often differ due to a lack of consensus on the formal definition of the role mining problem....
184
click to vote
DOCENG
2004
ACM
15 years 9 months ago
2004
ACM
With the wide adoption of XML as a standard data representation and exchange format, querying XML documents becomes increasingly important. However, relational database systems co...