Sciweavers

207 search results - page 11 / 42
» Automated Protocol Implementations Based on Activity Threads
Sort
View
SIGCOMM
2010
ACM
14 years 11 months ago
Fived: a service-based architecture implementation to innovate at the endpoints
Security functions such as access control, encryption and authentication are typically left up to applications on the modern Internet. There is no unified system to implement thes...
D. J. Capelis, Darrell D. E. Long
92
Voted
COMPSAC
2006
IEEE
15 years 5 months ago
A Practical Approach for Automated Test Case Generation using Statecharts
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
Valdivino A. Santiago, Ana Silvia Martins do Amara...
ICSOC
2004
Springer
15 years 5 months ago
Automated composition of e-services: lookaheads
The e-services paradigm promises to enable rich, flexible, and dynamic inter-operation of highly distributed, heterogeneous networkenabled services. Among the challenges, a funda...
Cagdas Evren Gerede, Richard Hull, Oscar H. Ibarra...
75
Voted
DAC
2007
ACM
16 years 19 days ago
Synchronous Elastic Circuits with Early Evaluation and Token Counterflow
A protocol for latency-insensitive design with early evaluation is presented. The protocol is based on a symmetric view of the system in which tokens carrying information move in ...
Jordi Cortadella, Michael Kishinevsky
92
Voted
ICWE
2010
Springer
14 years 10 months ago
Automated Generation of Itineraries in Recommender Systems for Tourism
Current recommender systems can support tourists in choosing travel products (accommodation, activities, means of transport, etc.), in planning long trips, and in profitably spendi...
Pierpaolo Di Bitonto, Francesco Di Tria, Maria Lat...