2057 search results - page 94 / 412 » Developing the Designer's Toolkit with Software Comprehensio... |
159
click to vote
IUI
2003
ACM
15 years 9 months ago
2003
ACM
An emerging approach to multi-device application development developers to build an abstract semantic model that is translated into specific implementations for web browsers, PDAs...
129
click to vote
SERP
2004
15 years 5 months ago
2004
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
127
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
161
click to vote
UML
2004
Springer
15 years 9 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
135
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...