LEADER 01613nam2-2200445---45-- 001 990001108750203316 005 20090114165225.0 010 $a88-13-23711-1 035 $a000110875 035 $aUSA01000110875 035 $a(ALEPH)000110875USA01 035 $a000110875 100 $a20021127d2002----km|y1itay50------ba 101 0 $aita 102 $aIT 105 $ay|||z|||001yy 200 1 $a<<3 :>> Valorizzazione delle capacità, rapporti intersistemici e rischio nell'azione di governo$fGaetano M. Golinelli 210 $aPadova$cCEDAM$d2002 215 $aXIII, 303 p.$d24 cm 461 1$10010052477$12001$a<>approccio sistemico al governo dell'impresa 606 0 $aAziende$xGestione 676 $a658 700 1$aGOLINELLI,$bGaetano M.$03341 801 $aIT$bsalbc$gISBD 912 $a990001108750203316 951 $a658.4 GOL 2/3(IRA 6 551/3)$b10815 E.C.$cIRA 6$d00098393 951 $a658.4 GOL 2/3a(IRA 6 551/3)$b10817 E.C.$cIRA 6$d00098395 951 $aIRA 6 551/3 (Non disponibile)$b10816 E.C.$cIRA 6$d00098394 959 $aBK 969 $aECO 979 $aJOHNNY$b90$c20021127$lUSA01$h1118 979 $aJOHNNY$b90$c20021127$lUSA01$h1119 979 $aJOHNNY$b90$c20021127$lUSA01$h1119 979 $aJOHNNY$b90$c20030213$lUSA01$h1250 979 $aPATRY$b90$c20040406$lUSA01$h1717 979 $aANNAMARIA$b90$c20061018$lUSA01$h1028 979 $aRSIAV1$b90$c20081223$lUSA01$h1007 979 $aCAPRIOLO$b90$c20090114$lUSA01$h1652 996 $aValorizzazione delle capacità, rapporti intersistemici e rischio nell'azione di governo$966599 997 $aUNISA LEADER 01104nam--2200337---450- 001 990002283850203316 005 20090805151511.0 035 $a000228385 035 $aUSA01000228385 035 $a(ALEPH)000228385USA01 035 $a000228385 100 $a20041217d1978----km-y0itay0103----ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aContributi allo studio della funzione statale di indirizzo e coordinamento$fMinistero dell'Interno 210 $aRoma$cMinistero dell'Interno$d1978 215 $a350 p.$d22 cm 410 0$12001 454 1$12001 461 1$1001-------$12001 710 02$aItalia : Ministero dell'interno : Direzione generale dei Servizi Civili$0386252 801 0$aIT$bsalbc$gISBD 912 $a990002283850203316 951 $aXXIV.2.E 75 (IG IV 502)$b50871 G.$cXXIV.2.E 75 (IG IV)$d00238126 959 $aBK 969 $aGIU 979 $aSIAV7$b10$c20041217$lUSA01$h1625 979 $aRSIAV5$b90$c20090805$lUSA01$h1515 996 $aContributi allo studio della funzione statale di indirizzo e coordinamento$91067613 997 $aUNISA LEADER 03402nam 22006015 450 001 9910300155903321 005 20250717140256.0 010 $a94-6239-067-3 024 7 $a10.2991/978-94-6239-067-6 035 $a(CKB)3710000000088338 035 $a(SSID)ssj0001175805 035 $a(PQKBManifestationID)11755000 035 $a(PQKBTitleCode)TC0001175805 035 $a(PQKBWorkID)11122434 035 $a(PQKB)10759361 035 $a(MiAaPQ)EBC1698041 035 $a(DE-He213)978-94-6239-067-6 035 $a(PPN)176751408 035 $a(EXLCZ)993710000000088338 100 $a20140211d2014 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aConstraints Meet Concurrency /$fby Jacopo Mauro 205 $a1st ed. 2014. 210 1$aParis :$cAtlantis Press :$cImprint: Atlantis Press,$d2014. 215 $a1 online resource (151 pages) $cillustrations 225 1 $aAtlantis Studies in Computing,$x2212-8565 ;$v5 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a94-6239-066-5 320 $aIncludes bibliographical references at the end of each chapters. 327 $aIntroduction -- Constraints -- Concurrency -- Constraint Handling Rules -- Non Turing powerful fragments of CHR -- Expressive power of priorities in CHR -- Constraints in Clouds -- A Classification-based Approach to Manage a Solver Portfolio -- Broadcast messages in Jolie -- Interruptible request responses in Jolie -- Conclusions -- References -- Proofs. 330 $aThis book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used in concurrency theory to increase the conciseness and the expressive power of concurrent languages from a pragmatic point of view. On the other hand, problems modeled by using constraints can be solved faster and more efficiently using a concurrent system. Both directions are explored providing two separate lines of development. Firstly the expressive power of a concurrent language is studied, namely Constraint Handling Rules, that supports constraints as a primitive construct. The features of this language which make it Turing powerful are shown. Then a framework is proposed to solve constraint problems that is intended to be deployed on a concurrent system. For the development of this framework the concurrent language Jolie following the Service Oriented paradigm is used. Based on this experience, an extension to Service Oriented Languages is also proposed in order to overcome some of their limitations and to improve the development of concurrent applications. 410 0$aAtlantis Studies in Computing,$x2212-8565 ;$v5 606 $aCompilers (Computer programs) 606 $aMachine theory 606 $aCompilers and Interpreters 606 $aFormal Languages and Automata Theory 615 0$aCompilers (Computer programs) 615 0$aMachine theory. 615 14$aCompilers and Interpreters. 615 24$aFormal Languages and Automata Theory. 676 $a005.11 700 $aMauro$b Jacopo$4aut$4http://id.loc.gov/vocabulary/relators/aut$0721169 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910300155903321 996 $aConstraints meet concurrency$91410042 997 $aUNINA