1058 search results - page 57 / 212 » Using Different Representations of Synchronous Systems in SA... |
178
click to vote
ICLP
2005
Springer
16 years 1 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
178
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Cooperative communications is a class of techniques which seek to improve reliability and throughput in wireless systems by pooling the resources of distributed nodes. While coope...
222
click to vote
CIDR
2011
14 years 10 months ago
2011
We propose a new type of database system coined OctopusDB. Our approach suggests a unified, one size fits all data processing architecture for OLTP, OLAP, streaming systems, and...
183
click to vote
IJMMS
1998
15 years 6 months ago
1998
A continuing problem in business today is the design of human-computer systems that respect how work actually gets done. The overarching context of work consists of activities, wh...
195
click to vote
JMLR
2008
15 years 6 months ago
2008
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...