Result 1 to 20 of 23 total
Graceful interruption of request-response service interactions. (English)
Kappel, Gerti (ed.) et al., Service-oriented computing. 9th international conference, ICSOC 2011, Paphos, Cyprus, December 5‒8, 2011 Proceedings. Berlin: Springer (ISBN 978-3-642-25534-2/pbk). Lecture Notes in Computer Science 7084, 590-600 (2011).
1
An efficient management of correlation sets with broadcast. (English)
De Meuter, Wolfgang (ed.) et al., Coordination models and languages. 13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21463-9/pbk). Lecture Notes in Computer Science 6721, 80-94 (2011).
2
An efficient management of correlation sets with broadcast (English)
COORDINATION, 80-94 (2011).
3
Graceful interruption of request-response service interactions (English)
ICSOC, 590-600 (2011).
4
Decidability properties for fragments of CHR. (English)
Theory Pract. Log. Program. 10, No. 4-6, 611-626 (2010).
5
Service-oriented volunteer computing for massively parallel constraint solving using portfolios. (English)
Lodi, Andrea (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 7th international conference, CPAIOR 2010, Bologna, Italy, June 14‒18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13519-4/pbk). Lecture Notes in Computer Science 6140, 246-251 (2010).
6
Developing argument assistant systems from a usability viewpoint (English)
KMIS, 157-163 (2010).
7
A review of productivity factors and strategies on software development (English)
ICSEA, 196-204 (2010).
8
Service-oriented volunteer computing for massively parallel constraint solving using portfolios (English)
CPAIOR, 246-251 (2010).
9
Advanced modulation formats for fiber optic communication systems. (English)
Yip, Sidney (ed.) et al., Scientific modeling and simulations. Dordrecht: Springer (ISBN 978-1-4020-9740-9/hbk). Lecture Notes in Computational Science and Engineering 68, 283-312 (2009).
10
Modelling argument accrual in possibilistic defeasible logic programming. (English)
Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1‒3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 131-143 (2009).
11
On the accrual of arguments in defeasible logic programming (English)
IJCAI, 804-809 (2009).
12
Modelling argument accrual in possibilistic defeasible logic programming (English)
ECSQARU, 131-143 (2009).
13
On the expressive power of priorities in CHR (English)
PPDP, 267-276 (2009).
14
Compiling and executing declarative modeling languages to Gecode. (English)
Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9‒13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 744-748 (2008).
15
Two-transitive groups on a hyperbolic unital (English)
J. Comb. Theory, Ser. A 115, No. 3, 526-533 (2008).
16
Compiling and executing declarative modeling languages to gecode (English)
ICLP, 744-748 (2008).
17
The system recovery benchmark (English)
PRDC, 271-280 (2004).
18
Modelling and analysis in production system: an approach based on Petri net (English)
SMC (5), 4354-4359 (2004).
19
Robustness benchmarking for hardware maintenance events (English)
DSN, 115-122 (2003).
20
Result 1 to 20 of 23 total
Start
Contact
Print
General Help
