6018 search results - page 234 / 1204 » Factored Translation Models |
195
click to vote
EDBT
1992
ACM
15 years 9 months ago
1992
ACM
The DBGraph storage model, designed for main memory DBMS, ensures both data storage compactness and efficient processing for all database operations. By representing the entire da...
147
click to vote
IKE
2003
15 years 7 months ago
2003
Traditional knowledge management mechanism focused on the re-usage of knowledge library. However, it lacks the ability of knowledge innovation and co-creation. Meanwhile, employee...
149
click to vote
DEDS
2006
15 years 6 months ago
2006
In this paper, we propose a method for building the state class graph of a bounded time Petri net (TPN) as a timed automaton (TA), which we call the state class timed automaton. We...
178
click to vote
ANSS
2001
IEEE
15 years 9 months ago
2001
IEEE
ATLAS is a specification language defined to outline city sections to model and simulate traffic flow. Streets are characterized by their size, direction, number of lanes, etc. On...
154
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
We present Trio2Promela, a tool for model checking metric temporal logic specifications written in the TRIO language. Our approach is based on the translation of formulae into Pro...