3185 search results - page 414 / 637 » Principles for modeling language design |
167
click to vote
VSTTE
2005
Springer
16 years 21 hour ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
168
click to vote
ICWE
2007
Springer
16 years 21 days ago
2007
Springer
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...
144
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a design methodology for the estimation of bus performance of a tuplespace for factory automation. The need of a tuplespace is motivated by the characteristic...
163
click to vote
SERP
2004
15 years 8 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...
257
click to vote
CATA
2010
15 years 6 months ago
2010
In this paper, a hardware implementation of the AES128 encryption algorithm is proposed. A unique feature of the proposed pipelined design is that the round keys, which are consum...