Sciweavers

7209 search results - page 1323 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
ISSRE
2010
IEEE
15 years 1 months ago
Automata-Based Verification of Security Requirements of Composite Web Services
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
Hongyu Sun, Samik Basu, Vasant Honavar, Robyn R. L...
174
Voted
SOCO
2010
Springer
15 years 1 months ago
Automatic detection of trends in time-stamped sequences: an evolutionary approach
This paper presents an evolutionary algorithm for modeling the arrival dates in time-stamped data sequences such as newscasts, e-mails, IRC conversations, scientific journal artic...
Lourdes Araujo, Juan Julián Merelo Guerv&oa...
150
Voted
EMSOFT
2010
Springer
15 years 1 months ago
From high-level component-based models to distributed implementations
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, ...
CCR
2011
14 years 10 months ago
Measured impact of crooked traceroute
Data collected using traceroute-based algorithms underpins research into the Internet’s router-level topology, though it is possible to infer false links from this data. One sou...
Matthew J. Luckie, Amogh Dhamdhere, kc claffy, Dav...
141
Voted
SIAMAM
2011
14 years 10 months ago
Wave Attenuation through Multiple Rows of Scatterers with Differing Periodicities
A solution method is proposed for calculating wave scattering by a multiple-row array in which the rows are permitted to have different periodicities. Each individual row contains ...
Luke G. Bennetts
« Prev « First page 1323 / 1442 Last » Next »