Sciweavers

2118 search results - page 261 / 424
» Execution of A Requirement Model in Software Development
Sort
View
ICECCS
2009
IEEE
106views Hardware» more  ICECCS 2009»
15 years 11 months ago
Visual Comparison of Graphical Models
Collaborative development, incremental design and revision management require the ability to compare different versions of software artifacts. There are well-established approache...
Arne Schipper, Hauke Fuhrmann, Reinhard von Hanxle...
CASCON
1993
114views Education» more  CASCON 1993»
15 years 5 months ago
A transaction manager component for cooperative transaction models
The database community has produced extensive research on the concurrency control problem in the context of traditional databases. However, this traditional model is not suitable ...
George T. Heineman
VLSID
2003
IEEE
253views VLSI» more  VLSID 2003»
16 years 5 months ago
High Level Synthesis from Sim-nML Processor Models
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
Souvik Basu, Rajat Moona
119
Voted
FSEN
2007
Springer
15 years 10 months ago
Adapting the UPPAAL Model of a Distributed Lift System
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
Wan Fokkink, Allard Kakebeen, Jun Pang
SERA
2005
Springer
15 years 10 months ago
A Comparative Evaluation of Query Modeling Cost of SQL/MDR
This paper shows the feasibility of SQL/MDR development. Previous approach has several problems such as complicated exchanging mechanism, dependent description to local MDR system...
Dongwon Jeong, Hoh Peter In, Lee-Sub Lee