5863 search results - page 868 / 1173 » On Model-Checking of P Systems |
157
click to vote
DGO
2003
15 years 8 months ago
2003
This paper explores the use of process technology to create formal process models to increase the level of trust that stakeholders have in digital government. Digital Government s...
162
click to vote
ECIS
2003
15 years 8 months ago
2003
Relationship analysis aims at supporting the eliciting and documenting of potential relationship structures of an application domain by providing analysts with a systematic techni...
183
click to vote
FMOODS
2003
15 years 8 months ago
2003
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
162
click to vote
SBBD
2004
15 years 8 months ago
2004
Traditional requirements for persistence layers do not consider limitations of the development platforms available for mobile devices. In order to facilitate the development of ap...
172
click to vote
TREC
2001
15 years 8 months ago
2001
We used the YFILTER filtering system for experiments on updating profiles and setting thresholds. We developed a new method of using language models for updating profiles that is ...