Result 1 to 20 of 422 total
Petri net reachability graphs: decidability status of first order properties. (English)
Log. Methods Comput. Sci. 8, No. 4, Paper No. 10, 28 p. (2012).
1
Application-replay attack on Java Cards: when the garbage collector gets confused. (English)
Barthe, Gilles (ed.) et al., Engineering secure software and systems. 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16‒17, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28165-5/pbk). Lecture Notes in Computer Science 7159, 1-13 (2012).
2
Petri net reachability graphs: decidability status of FO properties. (English)
Chakraborthy, Supraik (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2011), Mumbai, India, December 12‒14, 2011. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-34-7). LIPICS ‒ Leibniz International Proceedings in Informatics 13, 140-151, electronic only (2011).
3
Voxelwise multivariate statistics and brain-wide machine learning using the full diffusion tensor. (English)
Fichtinger, Gabor (ed.) et al., Medical image computing and computer-assisted intervention ‒ MICCAI 2011. 14th international conference, Toronto, Canada, September 18‒22, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-23628-0/pbk). Lecture Notes in Computer Science 6892, 9-16 (2011).
4
Reverse engineering architectural feature models. (English)
Crnkovic, Ivica (ed.) et al., Software architecture. 5th European conference, ECSA 2011, Essen, Germany, September 13‒16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23797-3/pbk). Lecture Notes in Computer Science 6903, 220-235 (2011).
5
Automatic and precise client-side protection against CSRF attacks. (English)
Atluri, Vijay (ed.) et al., Computer security ‒ ESORICS 2011. 16th European symposium on research in computer security, Leuven, Belgium, September 12‒14,2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23821-5/pbk). Lecture Notes in Computer Science 6879, 100-116 (2011).
6
A fast algorithm to locate concepts in execution traces. (English)
Cohen, Myra B. (ed.) et al., Search based software engineering. Third international symposium, SSBSE 2011, Szeged, Hungary, September 10‒12, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23715-7/pbk). Lecture Notes in Computer Science 6956, 252-266 (2011).
7
Ridges and valleys detection in images using difference of rotating half smoothing filters. (English)
Blanc-Talon, Jacques (ed.) et al., Advances concepts for intelligent vision systems. 13th international conference, ACIVS 2011, Ghent, Belgium, August 22‒25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23686-0/pbk). Lecture Notes in Computer Science 6915, 261-272 (2011).
8
Efficient retrieval and ranking of undesired package cycles in large software systems. (English)
Bishop, Judith (ed.) et al., Objects, models, components, patterns. 49th international conference, TOOLS 2011, Zurich, Switzerland, June 28‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21951-1/pbk). Lecture Notes in Computer Science 6705, 260-275 (2011).
9
Kalimucho: Contextual deployment for QoS management. (English)
Felber, Pascal (ed.) et al., Distributed applications and interoperable systems. 11th IFIP WG 6.1 international conference, DAIS 2011, Reykjavik, Iceland, June 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21386-1/pbk). Lecture Notes in Computer Science 6723, 43-56 (2011).
10
Experiments in parallel constraint-based local search. (English)
Merz, Peter (ed.) et al., Evolutionary computation in combinatorial optimization. 11th European conference, EvoCOP 2011, Torino, Italy, April 27‒29, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20363-3/pbk). Lecture Notes in Computer Science 6622, 96-107 (2011).
11
io-port 05914020 Munk, Harm;
Ayguadé, Eduard;
Bastoul, Cédric;
Carpenter, Paul;
Chamski, Zbigniew;
Cohen, Albert;
Cornero, Marco;
Dumont, Philippe;
Duranton, Marc;
Fellahi, Mohammed;
Ferrer, Roger;
Ladelsky, Razya;
Lindwer, Menno;
Martorell, Xavier;
Miranda, Cupertino;
Nuzman, Dorit;
Ornstein, Andrea;
Pop, Antoniu;
Pop, Sebastian;
Puchet, Louis-Noël;
Ramirez, Alex;
Ródenas, David;
Rohou, Erven;
Rosen, Ira;
Shvadron, Uzi;
Trifunović, Konrad;
Zaks, Ayal
ACOTES project: Advanced Compiler Technologies for Embedded Streaming. (English)
Int. J. Parallel Program. 39, No. 3, 397-450 (2011).
12
A secure asynchronous FPGA architecture, experimental results and some debug feedback. (English)
Comput. Res. Repos. 2011, Article No. 1103.1360 (2011).
13
A model-theoretic framework for grammaticality judgements. (English)
de Groote, Philippe (ed.) et al., Formal grammar. 14th international conference, FG 2009, Bordeaux, France, July 25‒26, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20168-4/pbk). Lecture Notes in Computer Science 5591. Lecture Notes in Artificial Intelligence, 17-30 (2011).
14
Middleware support for complex and distributed security services in multi-tier web applications. (English)
Erlingsson, Úlfar (ed.) et al., Engineering secure software and systems. Third international symposium, ESSoS 2011, Madrid, Spain, February 9‒10, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19124-4/pbk). Lecture Notes in Computer Science 6542, 114-127 (2011).
15
Influence of geometrical configurations and polarization basis definitions on the analysis of bistatic polarimetric measurements (English)
IEEE T. Geoscience and Remote Sensing 49, No. 6-2, 2238-2250 (2011).
16
Symbol error outage analysis of MIMO OSTBC systems over Rice fading channels in shadowing environments (English)
IEEE Transactions on Wireless Communications 10, No. 4, 1009-1014 (2011).
17
The ovuscule (English)
IEEE Trans. Pattern Anal. Mach. Intell. 33, No. 2, 382-393 (2011).
18
A simple tactile probe for surface identification by mobile robots (English)
IEEE Transactions on Robotics 27, No. 3, 534-544 (2011).
19
Robotic assistance to flexible endoscopy by physiological-motion tracking (English)
IEEE Transactions on Robotics 27, No. 2, 346-359 (2011).
20
Result 1 to 20 of 422 total
Start
Contact
Print
General Help
