Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
8109
search results - page 146 / 1622
»
A Model of Component-Based Programming
Sort
relevance
views
votes
recent
update
View
thumb
title
137
click to vote
TAICPART
2010
IEEE
167
views
Education
»
more
TAICPART 2010
»
Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing
15 years 4 months ago
Download
research.microsoft.com
Wolfgang Grieskamp
claim paper
Read More »
123
click to vote
CSEDU
2010
109
views
Education
»
more
CSEDU 2010
»
Teaching Programming with Formal Models in Greenfoot
15 years 4 months ago
Download
www.mbalz.de
Moritz Balz, Michael Goedicke
claim paper
Read More »
148
click to vote
IPPS
2010
IEEE
133
views
Distributed And Parallel Com...
»
more
IPPS 2010
»
OpenCL - An effective programming model for data parallel computations at the Cell Broadband Engine
15 years 4 months ago
Download
www.plm.eecs.uni-kassel.de
Jens Breitbart, Claudia Fohry
claim paper
Read More »
152
click to vote
FORTE
2009
96
views
Formal Methods
»
more
FORTE 2009
»
A Type Graph Model for Java Programs
15 years 4 months ago
Download
eprints.eemcs.utwente.nl
Arend Rensink, Eduardo Zambon
claim paper
Read More »
154
click to vote
HCI
2009
158
views
Human Computer Interaction
»
more
HCI 2009
»
Further Steps towards Driver Modeling According to the Bayesian Programming Approach
15 years 4 months ago
Download
www.lks.uni-oldenburg.de
Claus Möbus, Mark Eilers
claim paper
Read More »
« Prev
« First
page 146 / 1622
Last »
Next »
