4799 search results - page 575 / 960 » Model Based Requirements Engineering for Embedded Software |
194
click to vote
ISORC
2006
IEEE
16 years 24 days ago
2006
IEEE
Many interesting applications using mobile ad-hoc networks are possible if quality-of-service (QoS) can be effectively supported. Towards that end, this paper proposes a method ba...
172
Voted
CBSE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or remov...
159
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
175
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...
209
click to vote
UML
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...