5863 search results - page 738 / 1173 » On Model-Checking of P Systems |
216
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Digitization of production factors, including the knowledge for knowledge workers and consumers, opens almost infinite potential to connect persons, systems, processes, enterpri...
185
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...
192
click to vote
JODL
2008
15 years 6 months ago
2008
DelosDLMS is a prototype of a next-generation Digital Library (DL) management system. It is the result of integrating various specialized DL services provided by partners of the D...
183
click to vote
PE
2002
Springer
15 years 6 months ago
2002
Springer
The study presented in this paper is motivated by the performance analysis of response times in distributed information systems, where transactions are handled by iterative server...
170
click to vote
IJHPCA
2010
15 years 5 months ago
2010
With processor speeds no longer doubling every 18-24 months owing to the exponential increase in power consumption and heat dissipation, modern HEC systems tend to rely lesser on ...