2055 search results - page 163 / 411 » Generic Model Refactorings |
136
click to vote
TWC
2008
15 years 3 months ago
2008
3GPP 43.318 specifies the Generic Access Network (GAN) for interworking between Wireless Local Area Network (WLAN) and Universal Mobile Telecommunications System (UMTS) core netwo...
134
click to vote
ISSRE
2010
IEEE
15 years 1 months ago
2010
IEEE
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
108
click to vote
LOGCOM
2010
15 years 1 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
124
click to vote
WWW
2001
ACM
16 years 3 months ago
2001
ACM
New devices gaining access to the Internet need to obtain multimedia content adapted to their limited capacities. Scalable formats allow to retrieve different versions of a single...
109
click to vote
ICECCS
2008
IEEE
15 years 9 months ago
2008
IEEE
In recent trends, the Architecture Analysis and Design Language (AADL) has received increasing attention from safety-critical software development industries. Specific about the A...