9989 search results - page 12 / 1998 » A CLP Approach to Modelling Systems |
JSC
2010
13 years 3 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
JSAC
2011
13 years 3 months ago
2011
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
WSC
2007
13 years 10 months ago
2007
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer n...
JTAER
2010
13 years 3 months ago
2010
With the emergence of the e-Catalog, there has been an increasingly wide application of commodities query in distributed environment in the field of e-commerce. But e-Catalog is o...
WSC
2001
13 years 10 months ago
2001
The use of simulation in healthcare area is not widely spread when compared with other areas. This paper suggests that traditional approaches to modeling may not fully utilize sim...