7526 search results - page 191 / 1506 » The Design and Implementation of the A2QM3 System |
198
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
151
click to vote
MOBIDE
2005
ACM
16 years 4 days ago
2005
ACM
The increasing popularity of mobile devices and the support of web portals towards performing transactions from these mobile devices has enabled business on the move. However, int...
197
click to vote
CLEIEJ
2002
15 years 6 months ago
2002
An analysis pattern is any part of a requirement analysis specification that can be reused in the design of other information systems as well. Urban management systems (e.g.: Tax ...
294
click to vote
ADHOC
2008
15 years 6 months ago
2008
Energy efficiency and positional accuracy are often contradictive goals. We propose to decrease power consumption without sacrificing significant accuracy by developing an energy-...
168
click to vote
GLVLSI
2005
IEEE
16 years 5 days ago
2005
IEEE
Embedded software is a preferred choice for implementing system functionality in modern System-on-Chip (SoC) designs, due to the high flexibility, and lower engineering costs pro...