281 search results - page 50 / 57 » Session Overview Interfaces and Interaction |
TACAS
2012
Springer
12 years 3 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
MIR
2010
ACM
14 years 28 days ago
2010
ACM
As real-time broadcasting services are becoming more popular, many people are sharing live events with remote users. Despite the success of real-time broadcasting services, a numb...
ECOWS
2007
Springer
14 years 1 months ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
ASSETS
2006
ACM
14 years 1 months ago
2006
ACM
This paper describes iNetSim, a universally accessible network simulator, created to allow vision-impaired and sighted users to complete Cisco Certified Network Associate level tw...
KIVS
2005
Springer
14 years 1 months ago
2005
Springer
: Evolutionary, a Next Generation Network (NGN) is a significant improvement of a successfully existing network. The third Generation Partnership Project (3GPP) aimed to merge two ...