Result 1 to 20 of 26 total
Towards a service-based internet. ServiceWave 2010 workshops. International workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13‒15, 2010. Revised selected papers. (English)
Lecture Notes in Computer Science 6569. Berlin: Springer (ISBN 978-3-642-22759-2/pbk). xxix, 209~p. EUR~49.22 (2011).
1
io-port 05892545 Ward, Christopher;
Agassi, S.;
Bhattacharya, K.;
Biran, O.;
Cocchiara, R.;
Factor, M.E.;
Hayashi, C.T.;
Hochberg, T.;
Kearney, B.;
Laredo, Jim;
Loewenstern, David;
Rodecap, A.E.;
Skoog, J.K.;
Shwartz, Larisa;
Thompson, M.;
Thompson, R.;
Wolfsthal, Yaron
Toward transforming business continuity services. (English)
IBM J. Res. Dev. 53, No. 6, 7 (2009).
2
io-port 05892520 Rochwerger, Benny;
Breitgand, David;
Levy, Eliezer;
Galis, Alex;
Nagin, Kenneth;
Llorente, Ignacio Martín;
Montero, Rubén S.;
Wolfsthal, Yaron;
Elmroth, Erik;
Cáceres, Juan A.;
Ben-Yehuda, Muli;
Emmerich, Wolfgang;
Galán, Fermín
The reservoir model and architecture for open federated cloud computing. (English)
IBM J. Res. Dev. 53, No. 4, 4 (2009).
3
io-port 05892517 Naghshineh, M.;
Ratnaparkhi, Radha;
Dillenberger, Donna N.;
Doran, James R.;
Dorai, C.;
Anderson, Lilith;
Pacifici, Giovanni;
Snowdon, Jane L.;
Azagury, Alain;
Vanderwiele, Mark;
Wolfsthal, Yaron
IBM research division cloud computing initiative. (English)
IBM J. Res. Dev. 53, No. 4, 1 (2009).
4
io-port 70637978 Rochwerger, Benny;
Galis, Alex;
Levy, Eliezer;
Cáceres, Juan A.;
Breitgand, David;
Wolfsthal, Yaron;
Llorente, Ignacio Martín;
Wusthoff, Mark;
Montero, Rubén S.;
Elmroth, Erik
RESERVOIR: management technologies and requirements for next generation service oriented infrastructures (English)
Integrated Network Management, 307-310 (2009).
5
io-port 71020245 Rochwerger, Benny;
Galis, Alex;
Breitgand, David;
Levy, Eliezer;
Cáceres, Juan A.;
Llorente, Ignacio Martín;
Wolfsthal, Yaron;
Wusthoff, Mark;
Clayman, Stuart;
Chapman, Clovis;
Emmerich, Wolfgang;
Elmroth, Erik;
Montero, Rubén Santiago
Design for future internet service infrastructures (English)
Future Internet Assembly, 227-237 (2009).
6
Hardware and software verification and testing. First international Haifa verification conference, Haifa, Israel, November 13‒16, 2005. Revised selected papers. (English)
Lecture Notes in Computer Science 3875. Berlin: Springer (ISBN 3-540-32604-9/pbk). x, 265~p. EUR~48.15 (2006).
7
Combining system level modeling with assertion based verification (English)
ISQED, 310-315 (2005).
8
Formal verification: is it real enough? (English)
DAC, 670-671 (2005).
9
Abstract for the ISOLA special session on "industrial use of tools for formal analysis" (English)
ISoLA (Preliminary proceedings), 190-190 (2004).
10
Model checking at IBM. (English)
Form. Methods Syst. Des. 22, No.2, 101-108 (2003).
11
An algorithmic approach to design exploration. (English)
Eriksson, Lars-Henrik (ed.) et al., FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22‒24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43928-5). Lect. Notes Comput. Sci. 2391, 146-162 (2002).
12
PathFinder: A tool for design exploration. (English)
Brinksma, Ed (ed.) et al., Computer aided verification. 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2404, 510-514 (2002).
13
An algorithmic approach to design exploration (English)
FME, 146-162 (2002).
14
Pathfinder: A tool for design exploration (English)
CAV, 510-514 (2002).
15
Coverability analysis using symbolic model checking. (English)
Margaria, Tiziana (ed.) et al., Correct hardware design and verification methods. 11th IFIP WG 10.5 advanced research working conference, CHARME 2001, Livingston, Scotland, GB, September 4-7, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2144, 155-160 (2001).
16
io-port 01658697 Abarbanel-Vinov, Yael;
Aizenbud-Reshef, Neta;
Beer, Ilan;
Eisner, Cindy;
Geist, Daniel;
Heyman, Tamir;
Reuveni, Iris;
Rippel, Eran;
Shitsevalov, Irit;
Wolfsthal, Yaron;
Yatzkar-Haham, Tali
On the effective deployment of functional formal verification. (English)
Form. Methods Syst. Des. 19, No.1, 35-44 (2001).
17
Coverability analysis using symbolic model checking (English)
CHARME, 155-160 (2001).
18
FoCs ‒ automatic generation of simulation checkers from formal specifications. (English)
Emerson, E. Allen (ed.) et al., Computer aided verification. 12th international conference, CAV 2000. Chicago, IL, USA, July 15-19, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1855, 538-542 (2000).
19
Focs: automatic generation of simulation checkers from formal specifications (English)
CAV, 538-542 (2000).
20
Result 1 to 20 of 26 total
Start
Contact
Print
General Help
