10159 search results - page 1943 / 2032 » System Design Validation Using Formal Models |
MHCI
2009
Springer
14 years 2 months ago
2009
Springer
Browsing the Web on mobile phones has finally hit the mass. The visualization of websites on latest mobile phone models comes close to what we are used from desktop computers. Tai...
ADAEUROPE
2007
Springer
14 years 2 months ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...
EUROMICRO
2006
IEEE
14 years 2 months ago
2006
IEEE
Software architecture description languages (ADLs) were a particularly active research area in the 1990s. In 2000, we published an extensive study of existing ADLs, which has serv...
INFOCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
— One of the critical challenges facing the networking industry today is to increase the profitability of Internet services. One well-known method in economics for increasing th...
DSOM
2005
Springer
14 years 1 months ago
2005
Springer
This paper deals with a shared server environment where the server is divided into a number of resource partitions and used to host multiple applications at the same time. In a cas...