4015 search results - page 117 / 803 » The Future of Software Performance Engineering |
109
click to vote
CISIS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In this paper, we integrate the traditional finitestate automata (words, or string based) into the membrane computing paradigm, as previous work prevalently concentrat...
166
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper discusses foundations of conventional style of rule mining in which rules are extracted from a data table. Rule mining mainly uses the structure of a table, data partit...
115
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
In the near future, container ports will no longer be able to expand into the surrounding land and will thus be unable to meet the storage requirements due to the boom in world tr...
121
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...
158
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Future communication and computation devices require mechanisms for on-the-fly reconfiguration in their protocol stack to operate in different situations and networks. Th...