957 search results - page 172 / 192 » Negotiations and Petri Nets |
109
click to vote
JIT
2005
Springer
15 years 4 months ago
2005
Springer
: Access to Grid services is currently limited to devices having significant computing, network resources etc. such as desktop computers. On the other hand, most of mobile devices ...
105
click to vote
NOSSDAV
2005
Springer
15 years 4 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
SBCCI
2004
ACM
15 years 4 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
ACNS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We propose a novel framework named Hidden Colored PetriNet for Alert Correlation and Understanding (HCPN-ACU) in intrusion detection system. This model is based upon the ...
137
click to vote
WIA
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we propose a new data structure, called shared automata, for representing deterministic finite automata (DFA). Shared automata admit a strong canonical form for DFA ...