Model Checking Semantically Annotated Services von Di Pietro, I., Pagliarecci, F., Spalazzi, L.

Volltext

Model checking grid security von Pagliarecci, F., Spalazzi, L., Spegni, F.

Volltext

Reliability of a smartphone-based home monitoring of freezing of gait in subjects with Parkinson's disease von Pepa, L., Andrenelli, E., Di Biagio, L., Ciabattoni, L., Spalazzi, L., Ceravolo, M.G., Capecci, M.

Volltext

Modeling and Evaluating Cooperation Strategies in P2P Agent Systems von Penserini, L., Liu, L., Mylopoulos, J., Panti, M., Spalazzi, L.

Volltext

Verification of payment protocols via multiagent model checking von BENERECETTI, M, PANTI, M, SPALAZZI, L, TACCONI, S

Volltext

Semantic model checking security requirements for web services von Boaro, L, Glorio, E, Pagliarecci, F, Spalazzi, L

Volltext bestellen

An Architecture for Planning in Embedded Systems von Spalazzi, Luca

Volltext

A dynamic logic for acting, sensing, and planning von Spalazzi, L, Traverso, P

Volltext

A planning language for embedded systems von SPALAZZI, LUCA

Volltext

Flexible planning by integrating multilevel reasoning von Armando, A., Cimatti, A., Giunchiglia, E., Pecchiari, P., Spalazzi, L., Traverso, P.

Volltext

An agent-based supply-chain management von Panti, M., Pagliarecci, R., Spalazzi, L.

Volltext bestellen

Socially-based design meets agent capabilities von Penserini, L., Kolp, M., Spalazzi, L., Panti, M.

Volltext bestellen

Model checking the security of multi-protocol systems von Panti, M., Spalazzi, L., Tacconi, S., Pagliarecci, R.

Volltext bestellen

FCFA: A semantic-based federated cloud framework architecture von Manno, G., Smari, W. W., Spalazzi, L.

Volltext bestellen

ASA: A conceptual design-support system von Giretti, Alberto, Spalazzi, Luca

Volltext

METAFOL: Program tactics and logic tactics plus reflection von Benerecetti, Massimo, Spalazzi, Luca

Volltext

Virtualization on Embedded Boards as Enabling Technology for the Cloud of Things

Volltext

A modular environment for software development and re-engineering von Campana, S., Poli, A., Spalazzi, L., Spegni, F.

Volltext

Business process design framework for B2B collaboration von Boaro, L., Glorio, E., Pagliarecci, F., Spalazzi, L.

Volltext bestellen

Chapter 6 - Virtualization on embedded boards as enabling technology for the Cloud of Things von Bardhi, B., Claudi, A., Spalazzi, L., Taccari, G., Taccari, L.

Volltext