Search Results - "Spalazzi, L."

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

“…Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behavior at process…”
Get full text

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

“…Grid computing is one of the leading forms of high performance computing. Security in the grid environment is a challenging issue that can be characterized as…”
Get full text

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

“…Freezing of Gait (FOG) is a distressing gait disorder frequently related to Parkinson's disease (PD) progression and severe disability. Detecting and…”
Get full text

Complex activity recognition system based on cascade classifiers and wearable device data by Ciabattoni, L., Foresi, G., Monteriu, A., Pagnotta, D. Proietti, Romeo, L., Spalazzi, L., De Cesare, A.

“…This paper proposes a system for recognizing human complex activities by using unobtrusive sensors such as smartphone, smartwatch and bluetooth beacons. The…”
Get full text

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

“…Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their…”
Get full text

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

“…This paper proposes and describes a prototype of an agent-based infrastructure to support the supply chain management of a virtual enterprise. A virtual…”
Get full text

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

“…Many security protocols have been shown to have serious design flaws, even a long time after their publication. For this reason, several automatic verification…”
Get full text

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

“…The area of multiagent system is promising in order to help complex system development, indeed, currently, several agent oriented software methodologies have…”
Get full text

An Architecture for Planning in Embedded Systems by Spalazzi, Luca

“…This work is focused on an architecture for systems which act inside an unpredictable world (embedded systems). Several systems dealing with the above issue…”
Get full text

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

“…This paper is a first attempt towards a theory for reactive planning systems, i.e. systems able to plan and control execution of plans in a partially known and…”
Get full text

A planning language for embedded systems by SPALAZZI, LUCA

“…Recent research in planning is more and more focusing on planning systems working in 'real world' domains. These systems need to act in sense and represent the…”
Get full text

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

“…Cloud Computing is a paradigm that applies a service model on infrastructures, platforms and software. In the last few years, this new idea has been showing…”
Get full text

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

“…This paper proposes a computational architecture for conceptual design support that integrates typical CAD editing activities with symbolic information…”
Get full text

An anomaly-based system for parental control by Cioffi, C., Pagliarecci, F., Spalazzi, L.

“…This work presents an anomaly-based system for parental control. This approach combined with traditional parental control systems can produce a number of false…”
Get full text

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

“…The goal of this paper is to present a reasoning system, called METAFOL, embodying the features of a self-reflective system, i.e. a system which has a…”
Get full text

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

“…Traditional software development processes are designed to deal with the construction of new software systems. We believe the software development…”
Get full text

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

“…The aim of this work was to show how the developed tools facilitate the using of our framework for interenterprise collaboration at the business process level…”
Get full text

A scalable telemedicine architecture for under developed countries. A case study: Democratic Republic of Congo by Kidiamboko, S., Mancini, A., Longhi, S., Spalazzi, L.

“…Telemedicine, defined as the use of telecommunications technologies to provide medical information and services, is electronic transfer of medical data being…”
Get full text

XAL: A Web Oriented Programming Language Based on Timed-Automata by Campana, Salvatore, Spalazzi, Luca, Spegni, Francesco

“…We developed XAL, a framework that, in our opinion, allows to build web-oriented applications and services in a more productive way. The core of the framework…”
Get full text

Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study by Pietro, Ivan Di, Pagliarecci, Francesco, Spalazzi, Luca, Marconi, Annapaola, Pistore, Marco

“…Several approaches have been proposed to tackle the selection of distributed processes described as semantic web services. However, their practical…”
Get full text