Sciweavers

15635 search results - page 127 / 3127
» Modelling and Design of VAML
Sort
View
DAC
2005
ACM
16 years 5 months ago
Beyond safety: customized SAT-based model checking
Malay K. Ganai, Aarti Gupta, Pranav Ashar
CEEMAS
2007
Springer
15 years 11 months ago
Models and Tools for Mulan Applications
Abstract In this work we describe the development process of multiagent application design and implementation with Mulan. Our approach can be characterized as model driven developm...
Lawrence Cabac, Till Dörges, Michael Duvignea...
OTM
2005
Springer
15 years 10 months ago
Using ORM to Model Web Systems
In this paper, we describe how ORM is extended, and combined with Concurrent Task Trees (CTT) to model the content as well as the functionality of a web system in the web design me...
Olga De Troyer, Sven Casteleyn, Peter Plessers
WWW
2007
ACM
16 years 5 months ago
Integrating value-based requirement engineering models to webml using vip business modeling framework
Requirement engineering (RE) is emerging as an increasingly important discipline for supporting Web application development, as these are designed to satisfy diverse stakeholder n...
Farooque Azam, Zhang Li, Rashid Ahmad
95
Voted
ISCAS
2006
IEEE
128views Hardware» more  ISCAS 2006»
15 years 10 months ago
Modeling and verification of high-speed wired links with Verilog-AMS
—Behavioral modeling with virtual built-in self-test verification of high-speed wired link designs is described in this paper. Our procedure is based on principles of top-down mi...
Ming-Ta Hsieh, Gerald E. Sobelman