10182 search results - page 1507 / 2037 » Case Studies |
238
click to vote
FMAM
2010
15 years 5 months ago
2010
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
215
Voted
FMAM
2010
15 years 5 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
181
click to vote
GIS
2010
ACM
15 years 5 months ago
2010
ACM
Traffic information systems based on mobile, in-car sensor technology are a challenge for data management systems as a huge amount of data has to be processed in real-time. Data m...
170
click to vote
ICICS
2010
Springer
15 years 5 months ago
2010
Springer
By now, many voting protocols have been proposed that, among others, are designed to achieve coercion-resistance, i.e., resistance to vote buying and voter coercion. Scantegrity II...
211
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--Achieving fast, precise, and scalable fault localization has long been a highly desired feature in all-optical mesh networks. Monitoring tree (m-tree) is an interesting m...