9974 search results - page 1289 / 1995 » Software Interconnection Models |
178
click to vote
DIDACTICA
2000
15 years 7 months ago
2000
In computer science methods to aid learning are very important, because abstract models are used frequently. For this conventional teaching methods do not suffice. We have develope...
200
click to vote
WOA
2010
15 years 5 months ago
2010
Abstract--Recent works proposed the adoption of a natureinspired approach of chemistry for implementing service architectures suitable for pervasive applications [34]. In particula...
187
click to vote
ENTCS
2010
15 years 4 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
237
click to vote
CODES
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper, we investigate the use of instruction set simulators (ISS) based on binary translation to accelerate full timed multiprocessor system simulation at transaction leve...
189
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
A key enabler of the recently adopted, assemblycentric development approach for distributed real-time software systems is QoS-enabled middleware, which provides reusable building ...