2153 search results - page 383 / 431 » From Requirements Models to Formal Specifications in B |
HICSS
2009
IEEE
14 years 5 months ago
2009
IEEE
Up to now, there has been little academic support for the challenges of IT governance/IT management. As a reaction, various best practice frameworks - like COBIT or CMMI - were de...
BIBE
2007
IEEE
14 years 4 months ago
2007
IEEE
-We demonstrate a new algorithm named FlexStem to predict RNA secondary structures with pseudoknots. Our approach is based on the free energy minimization criterion, and utilizes a...
KESAMSTA
2007
Springer
14 years 4 months ago
2007
Springer
This work proposes a framework for the design and development of Ontology Agents oriented to manage Rule Base Fuzzy Cognitive Maps (RBFCM). The approach takes into account the foun...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
NoC architectures can be adopted to support general communications among multiple IPs over multi-processor Systems on Chip (SoCs). In this work we illustrate the modeling and simu...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
– A mobile in vivo camera robot was developed to provide the ability for a single port biopsy procedure. Such a robot can be inserted into the abdominal cavity through a standard...