Result 1 to 20 of 3111 total
Boltzmann samplers for first-order differential specifications. (English)
Discrete Appl. Math. 160, No. 18, 2563-2572 (2012).
1
Computational procedure of performance assessment of lifetime index of products for the Weibull distribution with the progressive first-failure-censored sampling plan. (English)
J. Appl. Math. 2012, Article ID 717184, 13 p. (2012).
2
Two-stage variables acceptance sampling plans using process loss functions. (English)
Commun. Stat., Theory Methods 41, No. 19-20, 3633-3647 (2012).
3
Specification and quantitative analysis of probabilistic cloud deployment patterns. (English)
Eder, Kerstin (ed.) et al., Hardware and software: verification and testing. 7th international Haifa verification conference, HVC 2011, Haifa, Israel, December 6‒8, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-34187-8/pbk). Lecture Notes in Computer Science 7261, 145-159 (2012).
4
A state-based model of sensor protocols. (English)
Theor. Comput. Sci. 458, 61-75 (2012).
5
Fortifying macros. (English)
J. Funct. Program. 22, No. 4-5, 439-476 (2012).
6
Enhancing customer relationships by semantic consumer support systems. (English)
Inf. Process. Lett. 112, No. 22, 860-868 (2012).
7
Asynchronous event handling and safety critical Java. (English)
Concurrency Comput. Pract. Exp. 24, No. 8, 813-832 (2012).
8
Software support for organised adaptation. (English)
Collier, Rem (ed.) et al., Programming multi-agent systems. 8th international workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28938-5/pbk). Lecture Notes in Computer Science 6599. Lecture Notes in Artificial Intelligence, 96-115 (2012).
9
URSA: a system for uniform reduction to SAT. (English)
Log. Methods Comput. Sci. 8, No. 3, Paper No. 30, 39 p. (2012).
10
Encapsulating deontic and branching time specifications. (English)
Theor. Comput. Sci. 455, 98-122 (2012).
11
Enhancing coherency of specification documents from automotive industry. (English)
Simões, Alberto (ed.) et al., 1st symposium on languages, applications and technologies, SLATE’12, June 21‒22, 2012, Braga, Portugal. Proceedings. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-40-8). OASIcs ‒ OpenAccess Series in Informatics 21, 225-237, electronic only (2012).
12
Using locales to define a rely-guarantee temporal logic. (English)
Beringer, Lennart (ed.) et al., Interactive theorem proving. Third international conference, ITP 2012, Princeton, NJ, USA, August 13‒15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32346-1/pbk). Lecture Notes in Computer Science 7406, 299-314 (2012).
13
A location-based policy-specification language for mobile devices. (English)
Pervasive Mobile Comput. 8, No. 3, 402-414 (2012).
14
An iterative approach to synthesize business process templates from compliance rules. (English)
Inf. Syst. 37, No. 8, 714-736 (2012).
15
On weaknesses of the HDCP authentication and key exchange protocol and its repair. (English)
Math. Comput. Modelling 55, No. 1-2, 19-25 (2012).
16
A systematic literature review on service description methods. (English)
Regnell, Björn (ed.) et al., Requirements engineering: foundation for software quality. 18th international working conference, REFSQ 2012, Essen, Germany, March 19‒22, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28713-8/pbk). Lecture Notes in Computer Science 7195, 239-255 (2012).
17
A design phase for data sharing agreements. (English)
Garcia-Alfaro, Joaquin (ed.) et al., Data privacy management and autonomous spontaneus security. 6th international workshop, DPM 2011, and 4th international workshop, SETOP 2011, Leuven, Belgium, September 15‒16, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28878-4/pbk). Lecture Notes in Computer Science 7122, 25-41 (2012).
18
Flight plan specification and management for unmanned aircraft systems. (English)
J. Intell. Robot. Syst. 67, No. 2, 155-181 (2012).
19
A variational approach for exact histogram specification. (English)
Bruckstein, Alfred M. (ed.) et al., Scale space and variational methods in computer vision. Third international conference, SSVM 2011, Ein-Gedi, Israel, May 29‒June 2, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24784-2/pbk). Lecture Notes in Computer Science 6667, 86-97 (2012).
20
Result 1 to 20 of 3111 total
Start
Contact
Print
General Help
