70 search results - page 9 / 14 » Better Quasi-Ordered Transition Systems |
IUI
2009
ACM
14 years 4 months ago
2009
ACM
We present data-driven methods for supporting musical creativity by capturing the statistics of a musical database. Specifically, we introduce a system that supports users in expl...
ACSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
We exploit for defensive purposes the concept of darkports – the unused ports on active systems. We are particularly interested in such ports which transition to become active (...
NOSSDAV
2005
Springer
14 years 1 months ago
2005
Springer
In mobile devices, the wireless network interface card (WNIC) consumes a significant portion of overall system energy. One way to reduce energy consumed by a device is to transit...
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
ADBIS
2006
Springer
13 years 9 months ago
2006
Springer
Because of information ubiquity, one observes an important trend towards transferring information management tasks from database systems to networks. We introduce the notion of Da...