12015 search results - page 2150 / 2403 » Interactive Algorithms 2005 |
140
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Consumers use service selection mechanisms to decide on a service provider to interact with. Although there are various service selection mechanisms, each mechanism has different s...
158
click to vote
CAV
2009
Springer
15 years 6 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
118
Voted
EMNETS
2007
15 years 6 months ago
2007
The Acoustic ENSBox [1] is an embedded platform which enables practical distributed acoustic sensing by providing integrated hardware and software support in a single platform. It...
115
click to vote
ENTER
2007
Springer
15 years 6 months ago
2007
Springer
Due to the inherent complexity of building highly-interactive and personalized web applications, the development of a web-based travel advisory system can be a costly and timecons...
127
click to vote
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...