Result 1 to 20 of 179 total
Characterizing the strongly jump-traceable sets via randomness. (English)
Adv. Math. 231, No. 3-4, 2252-2293 (2012).
1
Modeling the supervisory control theory with Alloy. (English)
Derrick, John (ed.) et al., Abstract state machines, Alloy, B, VDM, and Z. Third international conference, ABZ 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30884-0/pbk). Lecture Notes in Computer Science 7316, 94-107 (2012).
2
Systems-theoretic view of component-based software development. (English)
Barbosa, Luís Soares (ed.) et al., Formal aspects of component software. 7th international workshop, FACS 2010, Guimarães, Portugal, October 14‒16, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27268-4/pbk). Lecture Notes in Computer Science 6921, 163-181 (2012).
3
A metamodel for the design of access-control policy enforcement managers: Work in progress. (English)
Garcia-Alfaro, Joaquin (ed.) et al., Foundations and practice of security. 4th Canada-France MITACS workshop, FPS 2011, Paris, France, May 12‒13, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27900-3/pbk). Lecture Notes in Computer Science 6888, 218-226 (2012).
4
From ASTD access control policies to WS-BPEL processes deployed in a SOA environment. (English)
Chiu, Dickson K. W. (ed.) et al., Web information systems engineering ‒ WISE 2010 workshops. WISE 2010 international symposium WISS, and international workshops CISE, MBC, Hong Kong, China, December 12‒14, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24395-0/pbk). Lecture Notes in Computer Science 6724, 126-141 (2011).
5
A SAT-based approach for the construction of reusable control system components. (English)
Salaün, Gwen (ed.) et al., Formal methods for industrial critical systems. 16th international workshop, FMICS 2011, Trento, Italy, August 29‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24430-8/pbk). Lecture Notes in Computer Science 6959, 52-67 (2011).
6
MR-guided thermotherapy of abdominal organs using a robust PCA-based motion descriptor (English)
IEEE Trans. Med. Imaging 30, No. 11, 1987-1995 (2011).
7
Impact of neutron irradiation on the RF properties of oxidized high-resistivity silicon substrates with and without a trap-rich passivation layer (English)
Microelectronics Reliability 51, No. 2, 326-331 (2011).
8
Enforcing ASTD access-control policies with WS-BPEL processes in SOA environments (English)
IJSSOE 2, No. 2, 37-59 (2011).
9
Use of formal ontologies as a foundation for inventive design studies (English)
Computers in Industry 62, No. 3, 323-336 (2011).
10
Interactive spatial evolutionary computation based predictive modeling of rare plant species occurrences (English)
NaBIC, 472-475 (2011).
11
A SAT-based approach for the construction of reusable control system components (English)
FMICS, 52-67 (2011).
12
A four-concern-oriented secure IS development approach (English)
SECRYPT, 464-471 (2011).
13
Smallest and largest binary sums of a graph. (English)
South East Asian J. Math. Math. Sci. 8, No. 2, 7-15 (2010).
14
A tighter analysis of work stealing. (English)
Cheong, Otfried (ed.) et al., Algorithms and computation. 21st international symposium, ISAAC 2010, Jeju, Korea, December 15‒17, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-17513-8/pbk). Lecture Notes in Computer Science 6507, 291-302 (2010).
15
A strain energy filter for 3D vessel enhancement. (English)
Jiang, Tianzi (ed.) et al., Medical image computing and computer-assisted intervention ‒ MICCAI 2010. 13th international conference, Beijing, China, September 20‒24, 2010. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-15710-3/pbk). Lecture Notes in Computer Science 6363, 367-374 (2010).
16
Algorithmic randomness and complexity. (English)
Theory and Applications of Computability. New York, NY: Springer (ISBN 978-0-387-95567-4/hbk; 978-0-387-68441-3/ebook). xxviii, 855~p. EUR~79.95/net; SFR~115.00; \sterling~72.00; \$~99.00 (2010).
17
Modularity for large virtual reality applications. (English)
Presence 19, No. 2, 142-161 (2010).
18
An incremental nested partition method for data clustering. (English)
Pattern Recognition 43, No. 7, 2439-2455 (2010).
19
Model-driven engineering of functional security policies (English)
ICEIS (3), 374-379 (2010).
20
Result 1 to 20 of 179 total
Start
Contact
Print
General Help
