4799 search results - page 480 / 960 » Model Based Requirements Engineering for Embedded Software |
218
click to vote
ICWS
2009
IEEE
16 years 4 months ago
2009
IEEE
Currently, business requirements for rapid operational efficiency, customer responsiveness as well as rapid adaptability are driving the need for ever increasing communication and...
208
click to vote
VSTTE
2005
Springer
16 years 1 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
171
click to vote
TACS
1991
Springer
15 years 11 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
195
click to vote
AUIC
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we present a system for Augmented Reality interior design based on digital images. The system can be used with an ordinary PC and a digital camera: no special equip...
164
click to vote
PPPJ
2004
ACM
16 years 1 months ago
2004
ACM
: E-Mail is the most exploited service in the Internet. We present an application based on Java mobile agents to automatically perform required steps to register an account. The us...