10568 search results - page 298 / 2114 » Computer Intelligence and Formalization |
130
Voted
ECOWS
2006
Springer
15 years 7 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
123
Voted
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
129
Voted
NJC
2006
15 years 3 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
144
Voted
TII
2010
14 years 10 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
129
Voted
SMC
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper presents the prototype of an expert peering system for information exchange in the knowledge society. Our system realizes an intelligent, real-time search engine for...