Result 1 to 20 of 141 total
Resonance entrainment of tensegrity structures via CPG control. (English)
Automatica 48, No. 11, 2791-2800 (2012).
1
A case study in verification of embedded network software. (English)
Goodloe, Alwyn E. (ed.) et al., NASA formal methods. 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28890-6/pbk). Lecture Notes in Computer Science 7226, 433-448 (2012).
2
The location linking concept: a basis for verification of code using pointers. (English)
Joshi, Rajeev (ed.) et al., Verified software: Theories, tools, experiments. 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27704-7/pbk). Lecture Notes in Computer Science 7152, 34-49 (2012).
3
io-port 06052551 Sitaraman, Murali;
Adcock, Bruce;
Avigad, Jeremy;
Bronish, Derek;
Bucci, Paolo;
Frazier, David;
Friedman, Harvey M.;
Harton, Heather;
Heym, Wayne;
Kirschenbaum, Jason;
Krone, Joan;
Smith, Hampton;
Weide, Bruce W.
Building a push-button RESOLVE verifier: progress and challenges. (English)
Formal Asp. Comput. 23, No. 5, 607-626 (2011).
4
‘Acted reality’ in electronic patient record research: A bridge between laboratory and ethnographic studies. (English)
Campos, Pedro (ed.) et al., Human-computer interaction ‒ INTERACT 2011. 13th IFIP TC 13 international conference, Lisbon, Portugal, September 5‒9, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-23770-6/pbk). Lecture Notes in Computer Science 6947, 73-80 (2011).
5
Numerical semigroups whose fractions are of maximal embedding dimension. (English)
Semigroup Forum 82, No. 3, 412-422 (2011).
6
Bacterial competition in serial transfer culture. (English)
Math. Biosci. 229, No. 2, 149-159 (2011).
7
Information privacy research: an interdisciplinary review (English)
MIS Quarterly 35, No. 4, 989-1015 (2011).
8
Information systems research behaviors: what are the normative standards? (English)
MIS Quarterly 35, No. 3, 533-551 (2011).
9
Equivalence of measurements on soft magnetic materials in the UK and measurements for operational conditions (English)
IEEE T. Instrumentation and Measurement 60, No. 7, 2275-2279 (2011).
10
Project and organizational antecedents of effort withholding in IT project teams (English)
ICIS (2011).
11
Robust, generic, modularly-verified map: a software verification challenge problem (English)
PLPV, 27-30 (2011).
12
’Acted reality’ in electronic patient record research: A bridge between laboratory and ethnographic studies (English)
INTERACT (2), 73-80 (2011).
13
A novel electroactive polymer buoyancy control device for bio-inspired underwater vehicles (English)
ICRA, 172-177 (2011).
14
Data recording in primary care field studies: patient records enhancement project (English)
PervasiveHealth, 563-567 (2011).
16
Teaching second-level Java and software engineering with android (English)
CSEE&T, 540-542 (2011).
17
Numerical semigroups that are fractions of numerical semigroups of maximal embedding dimension. (English)
JP J. Algebra Number Theory Appl. 17, No. 1, 69-96 (2010).
18
Aligning undergraduate IS curricula with industry needs. (English)
Commun. ACM 53, No. 3, 152-156 (2010).
19
Double vision: an exploration of radiologists’ and general practitioners’ views on using picture archiving and communication systems (PACS) (English)
Health Informatics Journal 16, No. 2, 75-86 (2010).
20
Result 1 to 20 of 141 total
Start
Contact
Print
General Help
