298 search results - page 31 / 60 » UPPAAL - Now, Next, and Future |
WMCSA
2009
IEEE
14 years 2 months ago
2009
IEEE
Location is rapidly becoming the next “killer application” as location-enabled mobile handheld devices proliferate. One class of applications that has yet-to-emerge are those ...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper studies the problem of allocating network capacity through periodic auctions. Motivated primarily by a service overlay architecture, we impose the following condition...
ITICSE
2009
ACM
14 years 1 months ago
2009
ACM
The topic of data structures has historically been taught with two major focuses: first, the basic definition and implementation of a small set of basic data structures (e.g. list...
COMSWARE
2008
IEEE
14 years 1 months ago
2008
IEEE
—Presence technology is going to be an integral part of the next generation of communication technology. It can eliminate telephone tag between two parties (caller and callee), w...
DSRT
2008
IEEE
14 years 1 months ago
2008
IEEE
According to statistics and future prospects in the next few years world-wide energy consumption will increase significantly. Therefore not only more energy efficient technologi...