56 search results - page 7 / 12 » Implementing Object-Z with Perfect Developer |
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
We recently reported a criterion for blind separation of non-negative sources, using a new concept called convex analysis for mixtures of non-negative sources (CAMNS). Under some ...
ICDCS
2008
IEEE
14 years 4 months ago
2008
IEEE
Multi-dimensional storage virtualization (MDSV) allows multiple virtual disks, each with a distinct combination of capacity, latency and bandwidth requirements, to be multiplexed ...
EUROPAR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs (from now on, computational kernel...
AAAI
2000
13 years 11 months ago
2000
We develop a normative theory of interaction-negotiation in particular--among self-interested computationally limited agents where computational actions are game-theoretically tre...
GLOBECOM
2008
IEEE
13 years 10 months ago
2008
IEEE
As the network line rates reach 40 Gbps today and 100 Gbps in the near future, performing deep packet inspection (DPI) in the Network Intrusion Detection and Prevention Systems (NI...