Sciweavers

1251 search results - page 94 / 251
» A Method for Component-Based Software and System Development
Sort
View
IADIS
2008
15 years 4 months ago
An E-Learning System To Prepare Negotiations
The goal of this article is to propose an environment for negotiation e-learning courses using a workflow approach to help learners to prepare the negotiation. This environment is...
Sérgio Assis Rodrigues, Yann Duzert, Jano M...
147
Voted
FUIN
2006
128views more  FUIN 2006»
15 years 3 months ago
A Rewriting Framework for Rule-Based Programming Dynamic Applications
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
Anatoly E. Doroshenko, Ruslan Shevchenko
DATE
2006
IEEE
102views Hardware» more  DATE 2006»
15 years 9 months ago
A systematic IP and bus subsystem modeling for platform-based system design
The topic on platform-based system modeling has received a great deal of attention today. One of the important tasks that significantly affect the effectiveness and efficiency of ...
Junhyung Um, Woo-Cheol Kwon, Sungpack Hong, Young-...
TSE
2011
214views more  TSE 2011»
14 years 10 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
APNOMS
2007
Springer
15 years 7 months ago
OMA DM Based Remote Software Debugging of Mobile Devices
The mobile devices have gained much functionality and intelligence with the growth of network technologies, the abundance of network resources, and the increase of various services...
Joon-Myung Kang, Hong-Taek Ju, Mi-Jung Choi, James...