1
Table des matières: ... to Java -- Methods -- Classes -- Subclasses -- Some Useful Classes -- Reference on Primitive Types...
Accéder au texte intégral
Électronique eBook
2
Publié 2005
Table des matières: ... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...
Accéder au texte intégral
Électronique eBook
3
Publié 2010
Table des matières: ... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...
Accéder au texte intégral
Électronique eBook
4
Publié 2013
Table des matières: ... Interface of Interactive Media Art in Stereoscopic Environment -- A Method of Viewing 3D Horror Contents...
Accéder au texte intégral
Électronique eBook
5
Publié 2014
Table des matières: ... -- Visualization of successor relations in business process models -- Developing and enforcing policies for access...
Accéder au texte intégral
Électronique eBook
6
Publié 2010
Table des matières: ... with SLAs and Events -- Warning: Don’t Assume Your Business Processes Use Master Data -- BPM in Practice...
Accéder au texte intégral
Électronique eBook
7
Publié 2010
Table des matières: ...Business Process -- A Rule-Based Approach for Model Management in a User Interface – Business...
Accéder au texte intégral
Électronique eBook
8
Publié 2007
Table des matières: ... for Facilitating eBay Transactions Using Skype -- Localization in Korea of User Interface of the 3G Mobile Handset...
Accéder au texte intégral
Électronique eBook
9
Publié 2005
Table des matières: ... Using uDAPL Interface -- Experiences, Strategies and Challenges in Adapting PVM to VxWorks TM Hard Real...
Accéder au texte intégral
Électronique eBook
10
Publié 2007
Table des matières: ... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...
Accéder au texte intégral
Électronique eBook
11
Publié 2014
Table des matières: ...Part I: Keynotes -- Part II: Future Tools -- Part III: Business Process Models -- Part IV...
Accéder au texte intégral
Électronique eBook
12
Publié 2005
Table des matières: ... Synchronizations -- An Improved Rule for While Loops in Deductive Program Verification -- Using Stålmarck’s...
Accéder au texte intégral
Électronique eBook
13
Publié 2006
Table des matières: ... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...
Accéder au texte intégral
Électronique eBook
14
Publié 2014
Table des matières: ... Modelling Process to Run-time Management of Many-Core Systems -- Verifying Behavioral UML Systems via CEGAR...
Accéder au texte intégral
Électronique eBook
15
Publié 2006
Table des matières: ... Pattern-Based Solution to Bridge the Gap Between Theory and Practice in Using Process Models...
Accéder au texte intégral
Électronique eBook
16
Publié 2010
Table des matières: ... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...
Accéder au texte intégral
Électronique eBook
17
Publié 2012
Table des matières: ... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...
Accéder au texte intégral
Électronique eBook
18
Publié 2012
Table des matières: ...Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods...
Accéder au texte intégral
Électronique eBook
19
Publié 2008
Table des matières: ... Human Motion Reconstruction Using Video Processing -- New Interfaces -- Personal Recognition Using...
Accéder au texte intégral
Électronique eBook
20
Publié 2014
Table des matières: ... -- Efficiency in Performing Basic Tasks Using Word Processing Programs by the Elderly as a Measure...
Accéder au texte intégral
Électronique eBook