9110 search results - page 1478 / 1822 » Formally-Based Design Evaluation |
178
click to vote
NETWORK
2006
15 years 6 months ago
2006
During the last few years, users all over the world have become more and more accustomed to the availability of broadband access. This has boosted the use of a wide variety both o...
178
click to vote
NETWORK
2006
15 years 6 months ago
2006
Mobility modeling is a critical step in the design of mobile self-organizing networks. With the emergence of small-scale and short-range wireless communication devices, the commun...
194
click to vote
PAAPP
2006
15 years 6 months ago
2006
OpenMP is an architecture-independent language for programming in the shared memory model. OpenMP is designed to be simple and in terms of programming abstractions. Unfortunately,...
177
click to vote
PERVASIVE
2006
Springer
15 years 6 months ago
2006
Springer
Today, several costs caused by road traffic may either be only roughly approximated, or cannot be clearly assigned to the drivers causing them, or both. They are typically distribu...
208
click to vote
IIE
2007
15 years 6 months ago
2007
This paper describes a didactical Computer Aided Software Engineering (CASE)-tool that was developed for use within the context of a course in object-oriented domain modelling. In...