Search results

Create the page "System verification" on this wiki! See also the search results found.

• ICTAC 09
  exploitation of theory through methods and tools for system * software specification, refinement, verification and testing
  8 KB (1,085 words) - 18:01, 12 February 2009
• LATA 2009
  - automata for system analysis and programme verification
  7 KB (994 words) - 23:06, 14 October 2008
• TWOMDE 2008
  * Reasoning over MOF-based models using ontologies: verification and * Ontology connectors to system models: methods and techniques for
  8 KB (994 words) - 23:09, 14 October 2008
• WaGe 2008
  ...ications often require the creation of a collaborative workflow management system as part of their sophisticated problem solving processes so that e-scientis · Workflow verification and validation in grid environments
  7 KB (886 words) - 23:10, 14 October 2008
• WSES 2008
  ...ng the management of experiment routines, a scientific workflow management system hides the underlying integration details of the e-Science resources and all ...tions were organized as three sessions: scientific workflows applications, system architecture and middleware, and development issues. A special session for
  4 KB (560 words) - 23:10, 14 October 2008
• IAMCOM 2008
  in a distributed embedded system is quite important for the military, sub-areas of research: adaptation of system operations to the network
  5 KB (651 words) - 23:13, 14 October 2008
• SERENE 2008
  * Verification and validation of resilient systems * System structuring for resilience
  9 KB (1,264 words) - 18:14, 8 November 2008
• SEKE 2008
  # SOA-based system testing and maintenance * Industry System Experience and Report
  6 KB (733 words) - 12:48, 27 October 2016
• ADCSS 2008
  ...ngoing and planned efforts towards this vision: CORDET, DOMENG, SOIS, AOCS system studies, ASSERT, spin-in from IMA and AUTOSAR etc... * AOCS system architecture studies
  18 KB (2,714 words) - 23:23, 14 October 2008
• UASS 2009
  - Embedded System Architecture for Ubiquitous - Specification, Validation and Verification of Embedded System and Software
  6 KB (697 words) - 23:19, 14 October 2008
• SSIRI 2008
  | Title = The Second IEE International Conference on Secure System Integration and Reliability Improvement # System integration for human computer interaction
  3 KB (337 words) - 23:20, 14 October 2008
• UbiCC Sp. Issue 2009
  ...UBICC journal is to publish the most recent results in the development of system aspects of ubiquitous computing. Researchers and practitioners working in t Confidentiality, Data and system integrity
  4 KB (502 words) - 23:20, 14 October 2008
• VLSI-DAT 2009
  * System-in-package design * Electronic System Level Design
  2 KB (282 words) - 23:21, 14 October 2008
• CORCS 2008
  Any submission whose content is relevant to the area of resource constrained system design will be considered, but submission whose subject matter is related t * formal techniques for verification and validation of
  2 KB (254 words) - 23:22, 14 October 2008
• NEWCAS-TAISA 2009
  * Computer and system architectures * Test and verification
  3 KB (377 words) - 23:24, 14 October 2008
• DATICS 2009
  * embedded system hardware/software co-design and co-verification * network and system on-a-chip and applications
  9 KB (1,181 words) - 00:37, 15 October 2008
• MNRC 2008
  * Test, Verification, and Reliability * System Packaging & Integration
  2 KB (228 words) - 23:24, 14 October 2008
• SAMOS 2008
  * System-Level Design, Simulation, and Verification
  2 KB (275 words) - 23:24, 14 October 2008
• NEWCAS 2008
  * Computer and system architectures * Test and verification
  3 KB (391 words) - 23:24, 14 October 2008
• ICONS 2009
  In the last years, new system concepts have been promoted and partially embedded in new deployments. Anti ...eworks and system design methodologies supported by appropriate models and system specification languages, the deployment of application-oriented systems rai
  11 KB (1,492 words) - 23:26, 14 October 2008

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)