1
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Tutorial) -- Abstract Interpretation with Applications to Timing Validation -- Session 1: Concurrency...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2008
Tabl Cynhwysion: ...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2014
Tabl Cynhwysion: ... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2014
Tabl Cynhwysion: ... Aggregation in Wireless Sensor Networks -- The Complex Network Analysis of Power Grid: A Case Study...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2010
Tabl Cynhwysion: ... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Validation -- Discrete Hierarchical Geometry -- Hierarchical Watersheds Within the Combinatorial Pyramid...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2012
Tabl Cynhwysion: ...Introduction to Sassur 2012 -- AdvoCATE: An Assurance Case Automation Toolset -- Towards a Case...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2014
Tabl Cynhwysion: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2005
Tabl Cynhwysion: ... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2007
Tabl Cynhwysion: ... and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2008
Tabl Cynhwysion: ...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...
Cael y testun llawn
Electronig eLyfr
14
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Case Point Method -- Session A2 – Measurement Programs -- Software Measurement @ Siemens – A Practical...
Cael y testun llawn
Electronig eLyfr
15
Cyhoeddwyd 2006
Tabl Cynhwysion: ... with Different Species -- Computationally Sound Symbolic Secrecy in the Presence of Hash Functions -- Some...
Cael y testun llawn
Electronig eLyfr
16
Cyhoeddwyd 2006
Tabl Cynhwysion: ...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2005
Tabl Cynhwysion: ... for Requirements Engineering in System Family Context for Software Process Improvement Using CMMI -- Functional...
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2013
Tabl Cynhwysion: ... and Responsibilities -- Service and Information Security Improvement by Collaborative Business Process Management...
Cael y testun llawn
Electronig eLyfr
19
gan Houshyar, Afsaneh Nouri
Cyhoeddwyd 2014
Pynciau: ...Machine parts - Computer program...
Cael y testun llawn
Thesis
20
Cyhoeddwyd 2005
Tabl Cynhwysion: ... and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set...
Cael y testun llawn
Electronig eLyfr