10159 search results - page 1910 / 2032 » System Design Validation Using Formal Models |
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In a service-oriented world, a long-running business process can be implemented as a set of stateful services that represent the individual but coordinated steps that mak...
IJCNN
2000
IEEE
14 years 18 days ago
2000
IEEE
: Conventional hardware platforms are far from reaching real-time simulation requirements of complex spiking neural networks (SNN). Therefore we designed an accelerator board with ...
ICC
2007
IEEE
14 years 2 days ago
2007
IEEE
Abstract-- This paper concerns the multiple access performance of spreading codes used in the downlink of multicarrier code-division multiple-access (MC-CDMA). Complex-valued sprea...
EDBTW
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. We describe design and implementation of the linguistic query language DDDquery. This language aims at querying a large linguistic database storing a corpus of richly ann...
JISE
2007
13 years 8 months ago
2007
Unlike normal wireless ad hoc networks, end-to-end connection may not exist in DTNs Thus, the Message Ferrying (MF) scheme has been proposed as a strategy for providing connectivi...